Commits · 88d837c88105b284d783b16dea2c5482dc076708 · fact-depend / cwe_checker · GitLab

03 Nov, 2020 37 commits
- update CHANGES.md · 88d837c8
  Enkelmann authored Nov 03, 2020
  
  88d837c8 Browse Files
- Substitute trivial expressions (#94) · 16408e2c
  Enkelmann authored Nov 02, 2020
  
  16408e2c Browse Files
- Fix implicit stores (#93) · 439dfc75
  Enkelmann authored Nov 02, 2020
  
  439dfc75 Browse Files
- Changed .cspec match, so that the "id" attribute is matched instead of the "name" attribute (#92) · c4125ece
  Melvin Klimke authored Oct 28, 2020
  
  c4125ece Browse Files
- add Ghidra-based acceptance checks to CI pipeline (#91) · 734e5f75
  Enkelmann authored Oct 28, 2020
  
  734e5f75 Browse Files
- Doc image (#89) · 730bc805
```
adds nice explanatory images to the documentation of `graph.rs`.
```
  Melvin Klimke authored Oct 28, 2020
  730bc805 Browse Files
- Ported CWE 676 and CWE 782 to Rust (#88) · 6c352b89
  Melvin Klimke authored Oct 27, 2020
  
  6c352b89 Browse Files
- Added extra dockerfile using the Ghidra backend · fd569776
  Enkelmann authored Oct 23, 2020
  
  fd569776 Browse Files
- Use registers parsed from Ghidra on the Rust side. · 954f1447
  Enkelmann authored Oct 22, 2020
  
  954f1447 Browse Files
- Parse Calling Convention Register from Ghidra (#87) · 45ececd2
  Melvin Klimke authored Oct 21, 2020
  
  45ececd2 Browse Files
- Add fallback tmp-folder location · 945cbf90
  Enkelmann authored Oct 20, 2020
  
  945cbf90 Browse Files
- Enable an installation with Ghidra as backend. · 67440d78
  Enkelmann authored Oct 19, 2020
  
  67440d78 Browse Files
- Added p_code_extractor to cwe checker (#86) · 3c76cb36
  Melvin Klimke authored Oct 16, 2020
  
  3c76cb36 Browse Files
- Support basic blocks that are contained in more than one function. · 4b6ca3be
  Enkelmann authored Oct 13, 2020
  
  4b6ca3be Browse Files
- fix debug print error · c585d9de
  Enkelmann authored Oct 09, 2020
  
  c585d9de Browse Files
- Add config options to pointer inference analysis · 4beae232
  Enkelmann authored Oct 08, 2020
  
  4beae232 Browse Files
- implement parsing of CALLOTHER jumps. · 1e9e4ab9
  Enkelmann authored Oct 08, 2020
  
  1e9e4ab9 Browse Files
- Fix unit test typo · 1cbdc889
  Enkelmann authored Oct 06, 2020
  
  1cbdc889 Browse Files
- cargo fmt · fde0aa55
  Enkelmann authored Oct 06, 2020
  
  fde0aa55 Browse Files
- fix deserialization field name typo · 3c1edf8d
  Enkelmann authored Oct 06, 2020
  
  3c1edf8d Browse Files
- convert 1-bit-sized bitvectors to 1-byte-sized bitvectors. · 07f91a14
  Enkelmann authored Oct 06, 2020
  
  07f91a14 Browse Files
- cargo fmt · 2a56a719
  Enkelmann authored Oct 06, 2020
  
  2a56a719 Browse Files
- fix 2 small bugs · a85352c5
  Enkelmann authored Oct 06, 2020
  
  a85352c5 Browse Files
- fix makefile bug · e6db1887
  Enkelmann authored Oct 05, 2020
  
  e6db1887 Browse Files
- Adapt the analysis modules to use the internal IR instead of the BAP IR. · af32d275
  Enkelmann authored Oct 05, 2020
  
  af32d275 Browse Files
- cargo fmt · d701731b
  Enkelmann authored Sep 30, 2020
  
  d701731b Browse Files
- add documentation to the internal IR · 5343432e
  Enkelmann authored Sep 30, 2020
  
  5343432e Browse Files
- fixed some more special case for the IR conversion from BAP · 676e27a0
  Enkelmann authored Sep 29, 2020
  
  676e27a0 Browse Files
- Add some missing doc strings · 7d8a67d4
  Enkelmann authored Sep 28, 2020
  
  7d8a67d4 Browse Files
- Handle special cases in BAP IR to internal IR conversion. · babf80f5
  Enkelmann authored Sep 28, 2020
  
  babf80f5 Browse Files
- cargo fmt · 53193734
  Enkelmann authored Sep 25, 2020
  
  53193734 Browse Files
- Finish P-Code to internal IR deserialization. · c1e142eb
  Enkelmann authored Sep 25, 2020
  
  c1e142eb Browse Files
- implement conversion for blocks and subs · b70f9910
  Enkelmann authored Sep 22, 2020
  
  b70f9910 Browse Files
- implement conversion functions for jumps and defs. · c11a21e9
  Enkelmann authored Sep 22, 2020
  
  c11a21e9 Browse Files
- Implement expression deserialization for Pcode · 263c1498
  Enkelmann authored Sep 17, 2020
  
  263c1498 Browse Files
- add file existence validation function · d6b95643
  Enkelmann authored Sep 09, 2020
  
  d6b95643 Browse Files
- add a new caller implementation · c177eace
  Enkelmann authored Sep 09, 2020
  
  c177eace Browse Files
08 Sep, 2020 1 commit
- make ObjectList serialization more readable (#85) · 38aaf701
  Enkelmann authored Sep 08, 2020
  
  38aaf701 Browse Files
04 Sep, 2020 1 commit
- simplify object list implementation (#84) · a6e5fa65
  Enkelmann authored Sep 04, 2020
  
  a6e5fa65 Browse Files
03 Sep, 2020 1 commit
- Fixed a bug in the objdump output parsing in symbol_utils.ml (#83) · 9f0bc45b
  Melvin Klimke authored Sep 03, 2020
  
  9f0bc45b Browse Files