search

GaloisInc / cclyzerpp

cclyzer++ is a precise and scalable pointer analysis for LLVM code.
https://galoisinc.github.io/cclyzerpp/
BSD 3-Clause "New" or "Revised" License
134 stars 15 forks source link

FactGenerator: Handle `fneg` #94

Closed langston-barrett closed 1 year ago

langston-barrett commented 1 year ago

The FactGenerator doesn't yet handle fneg, as seen in this MATE issue: https://github.com/GaloisInc/MATE/issues/59

langston-barrett commented 1 year ago

Closed in #161