Login / Signup

Tool Paper - SEMA: Symbolic Execution Toolchain for Malware Analysis.

Charles-Henry Bertrand Van OuytselChristophe CrochetKhanh-Huu-The DamAxel Legay
Published in: CRiSIS (2022)
Keyphrases
  • static analysis
  • symbolic execution
  • dynamic analysis
  • data sets
  • state space
  • software engineering
  • test generation