Skip to content

@SWAT-project SWAT-project

Change the repository type filter

All

    Repositories list

    4 repositories

    • SWAT

      Public
      SWAT, a dynamic symbolic execution engine for Java Applications that uses ASM for on-the-fly byte code instrumentation.
      javaasmsymbolic-execution
      javaasmsymbolic-executioninstrumentationdynamic-symbolic-execution
      Java
      •
      BSD 2-Clause "Simplified" License
      •0•44•4•1•Updated Apr 13, 2026Apr 13, 2026

    • java-smt

      Public
      JavaSMT - Unified Java API for SMT solvers.
      Java
      •
      Apache License 2.0
      •56•0•0•0•Updated Dec 9, 2025Dec 9, 2025

    • docs

      Public
      HTML
      •
      MIT License
      •0•0•0•0•Updated Mar 14, 2024Mar 14, 2024

    • .github

      Public
      0•0•0•0•Updated Feb 5, 2024Feb 5, 2024
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.