Skip to content

v0.4
Compare
Choose a tag to compare
@Enkelmann Enkelmann released this 07 Jan 12:23
· 367 commits to master since this release
v0.4
9556683
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.

Version 0.4 contains improvements for the CWE-476 (Null Pointer Dereference) check as well as the addition of a new, still experimental memory check searching for CWEs 415 (Double Free) and 416 (Use After Free). We also updated our backend to BAP 2.2.

Under the hood a completely new analysis framework was written in Rust, which is used by the new memory check. We also implemented support for Ghidra as an alternative backend to BAP.

See the CHANGES.md for more details.

Assets 2
Loading