enzet/symbolic-execution

History of symbolic execution (as well as SAT/SMT solving, fuzzing, and taint data tracking)

语言：Kotlin · GitHub 星标：497 · Fork：54

话题：concolic · concolic-execution · dynamic-analysis · dynamic-symbolic-execution · history · program-analysis · solving · symbolic-execution

在 GitHub 上查看原仓库