cclyzer++ is a precise and scalable pointer analysis for LLVM code.
BSD 3-Clause "New" or "Revised" License
137
stars
14
forks
source link
Warning: `No rules/facts defined for relation atomic_operation_f{add,sub}` #142
Open
langston-barrett opened 2 years ago
This is leftover from an incomplete implementation in https://github.com/GaloisInc/cclyzerpp/commit/2410e5b69fa43d6f779a11d825d01b979f41f565.