Commits · e74d0fd8e17c0ed42e17e8f54e778eea60fc1994 · fact-depend / cwe_checker · GitLab

14 Dec, 2020 1 commit
- Add the POPCOUNT expression (#116) · 0068784d
```
which also enables Ghidra 9.2 support.
```
  Enkelmann authored 4 years ago
  Unverified
  0068784d Browse Directory
10 Dec, 2020 1 commit
- Cwe476: Less false positives via better parameter checks (#115) · f0f82225
  Enkelmann authored 4 years ago
  
  Unverified
  f0f82225 Browse Directory
30 Nov, 2020 1 commit
- Reimplement CWE 476 check in Rust (#111) · 64238b18
  Enkelmann authored 4 years ago
  
  Unverified
  64238b18 Browse Directory
03 Nov, 2020 4 commits
- fix debug print error · c585d9de
  Enkelmann authored 4 years ago
  
  c585d9de Browse Directory
- convert 1-bit-sized bitvectors to 1-byte-sized bitvectors. · 07f91a14
  Enkelmann authored 4 years ago
  
  07f91a14 Browse Directory
- fix 2 small bugs · a85352c5
  Enkelmann authored 4 years ago
  
  a85352c5 Browse Directory
- Adapt the analysis modules to use the internal IR instead of the BAP IR. · af32d275
  Enkelmann authored 4 years ago
  
  af32d275 Browse Directory
27 Aug, 2020 1 commit
- Refactor of the pointer inference module (#78) · 09e4239c
  Enkelmann authored 4 years ago
  
  Unverified
  09e4239c Browse Directory
05 Aug, 2020 1 commit
- Domain refactor (#76) · 281a0207
```
Code and documentation improvements for all abstract domains
```
  Enkelmann authored 4 years ago
  Unverified
  281a0207 Browse Directory