/ConcolicTesting

Our project enables Concolic Execution, a powerful testing strategy that efficiently explores program paths by combining symbolic and concrete execution techniques. By targeting LLVM bitcode, it offers versatility for testing various languages and utilizes LLVM passes for comprehensive path exploration.

Primary LanguageTeX

Watchers