vorpal-research/kex

A platform for analysis of Java bytecode

语言：Kotlin · GitHub 星标：40 · Fork：21

话题：automated-testing · concolic-testing · java · kex · kotlin · symbolic-execution · white-box-fuzzing

在 GitHub 上查看原仓库