Commits · b8b08a42cd318ab6e98c9be53df59097573e6d8f · fact-depend / cwe_checker

01 Feb, 2021 1 commit
- Small improvements (#136) · 0a040aad
```
mostly for cleaner code and better documentation
```
  Enkelmann authored 4 years ago
  Unverified
  0a040aad Browse File
08 Jan, 2021 1 commit
- move the new_top() function to the HasByteSize trait. (#124) · d3dde7d7
  Enkelmann authored 4 years ago
  
  Unverified
  d3dde7d7 Browse File
03 Nov, 2020 1 commit
- Adapt the analysis modules to use the internal IR instead of the BAP IR. · af32d275
  Enkelmann authored 4 years ago
  
  af32d275 Browse File
27 Aug, 2020 1 commit
- Refactor of the pointer inference module (#78) · 09e4239c
  Enkelmann authored 4 years ago
  
  Unverified
  09e4239c Browse File
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 File