SWAT-project/SWAT

SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.

语言：Java · GitHub 星标：48 · Fork：0

话题：asm · dynamic-symbolic-execution · instrumentation · java · symbolic-execution

在 GitHub 上查看原仓库