search

secure-software-engineering / phasar

A LLVM-based static analysis framework.
Other
919 stars 140 forks source link

Better ASAN Support #670

Closed fabianbs96 closed 7 months ago

fabianbs96 commented 9 months ago

Use the ASAN API to better communicate to the sanitizer, what memory regions should actually be valid in case of custom allocations