transforms/ExplicitConsdes: Fix compilation with LLVM 12+

staticafi / symbiotic

Symbiotic is a tool for finding bugs in computer programs based on instrumentation, program slicing and KLEE

http://staticafi.github.io/symbiotic/

MIT License

313 stars 55 forks source link

Closed lzaoral closed 3 years ago