Published November 25, 2024 | Version v5
Software Open

SWAT - Dynamic Symbolic Execution for Java Applications

Authors/Creators

  • 1. ROR icon University of Lübeck
  • 2. Universität zu Lübeck

Description

SWAT submission for SV-COMP 2025.

Files

swat-verify.zip

Files (157.4 MB)

Name Size Download all
md5:d1f779e9a0469bceb0136045cc52e62f
157.4 MB Preview Download

Additional details

Software

Repository URL
https://github.com/SWAT-project/SWAT
Programming language
Java

References

  • SWAT: Modular dynamic symbolic execution for java applications using dynamic instrumentation (competition contribution)