search

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

sbt-transforms: Add support for LLVM 14 #220

Closed lzaoral closed 2 years ago

trtikm commented 2 years ago

LGTM