search

trailofbits / polytracker

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.
Apache License 2.0
516 stars 47 forks source link

Basic support for assert() #6529

Closed hbrodin closed 1 year ago

hbrodin commented 1 year ago

Will intercept the __assert_fail call and call polytracker_end which will update the output file and close it. At least a partial solution to #6528.