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
137 stars 14 forks source link

FactGenerator: Terminate on malformed LLVM modules #129

Closed langston-barrett closed 2 years ago

langston-barrett commented 2 years ago

The FactGenerator should terminate when it finds a malformed LLVM module, e.g., an llvm::ICmpInst::BAD_FCMP_PREDICATE in an icmp instruction.