SoftSec-KAIST/MeanDiff

Testing Intermediate Representations for Binary Analysis (ASE '17)

语言：F# · GitHub 星标：82 · Fork：10

话题：binary-analysis · differential-testing · fsharp · semantic-bugs · symbolic-execution

在 GitHub 上查看原仓库