Commits · 945cbf907b38f4fa02918cee7ee64e0855265590 · fact-depend / cwe_checker

03 Nov, 2020 27 commits
- 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
02 Sep, 2020 1 commit
- replace let-bindings in expressions (#82) · 52804195
  Enkelmann authored Sep 02, 2020
  
  52804195 Browse Files
28 Aug, 2020 1 commit
- set incident address to the jump and not the block for CWE476 (#80) · a849f2ae
  Enkelmann authored Aug 28, 2020
  
  a849f2ae Browse Files
27 Aug, 2020 2 commits
- remove build artifacts from docker image (#79) · b73c61c1
  Enkelmann authored Aug 27, 2020
  
  b73c61c1 Browse Files
- Refactor of the pointer inference module (#78) · 09e4239c
  Enkelmann authored Aug 27, 2020
  
  09e4239c Browse Files
06 Aug, 2020 1 commit
- Refactored fixpoint modules (#77) · e82c19ce
  Enkelmann authored Aug 06, 2020
  
  e82c19ce Browse Files
05 Aug, 2020 1 commit
- Domain refactor (#76) · 281a0207
```
Code and documentation improvements for all abstract domains
```
  Enkelmann authored Aug 05, 2020
  281a0207 Browse Files
30 Jul, 2020 1 commit
- Add Clippy and Rust fmt to CI-pipeline (#75) · 0d2777b0
  Enkelmann authored Jul 30, 2020
  
  0d2777b0 Browse Files
29 Jul, 2020 1 commit
- Fixed ARSHIFT for shifts larger than the bitsize. (#74) · 7e992eea
  Enkelmann authored Jul 29, 2020
  
  7e992eea Browse Files
28 Jul, 2020 1 commit
- Fix return (#73) · 7841bf89
```
Insert missing return statements into the control flow graph.
```
  Enkelmann authored Jul 28, 2020
  7841bf89 Browse Files
27 Jul, 2020 1 commit

Added a simple check that prints an error message when no dynamic symbol calls could be resolved.

authored Jul 27, 2020

5f9d78fb Browse Files