Commits · d3e87e55828448e2a0fb6b60a301ba7908322d02 · fact-depend / cwe_checker

12 Apr, 2021 2 commits
- Use conditional branches to restrict value sets of variables (#159) · a6ef477d
  Enkelmann authored 4 years ago
  
  a6ef477d Browse Directory
- Runtime optimizations for CWE 78 check (#154) · 83593fac
  Melvin Klimke authored 4 years ago
  
  83593fac Browse Directory
24 Mar, 2021 1 commit
- Bugfix function entry points (#160) · 43b56cd3
  Enkelmann authored 4 years ago
  
  43b56cd3 Browse Directory
23 Mar, 2021 1 commit
- Use IntervalDomain in Pointer Inference analysis (#158) · c1b99c33
  Enkelmann authored 4 years ago
  
  c1b99c33 Browse Directory
09 Mar, 2021 2 commits
- improve documentation (#155) · 88c11cc7
  Enkelmann authored 4 years ago
  
  88c11cc7 Browse Directory
- implement an abstract interval domain (#152) · 5434967e
  Enkelmann authored 4 years ago
  
  5434967e Browse Directory
04 Mar, 2021 1 commit
- CWE560: better bounds for sane umask arguments (#153) · 784569d5
  Enkelmann authored 4 years ago
  
  784569d5 Browse Directory
01 Mar, 2021 1 commit
- parse indirect jump targets from Ghidra (#151) · b20691f2
  Enkelmann authored 4 years ago
  
  b20691f2 Browse Directory
17 Feb, 2021 2 commits

Remove BAP parsing code (#149) · aeeea7f8
Enkelmann authored 4 years ago

aeeea7f8 Browse Directory

* Remove old Ocaml files

* adjust makefile

* Remove BAP build instructions from Readme

* minor documentation fix

* Remove old Ocaml documentation

* Remove unused Travis CI files

* Move Rust and Java code into src directory

* adjust build scripts to new folder structure

authored 4 years ago

11ca1728 Browse Directory