SWAT-project / SWAT

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

Date Created 2023-11-24 (about a year ago)

Commits 11 (last one 9 months ago)

Stargazers 27 (0 this week)

Watchers 0 (0 this week)

Forks 0

License bsd-2-clause

Ranking

RepositoryStats indexes 595,856 repositories, of these SWAT-project/SWAT is ranked #581,561 (2nd percentile) for total stargazers, and #592,185 for total watchers. Github reports the primary language for this repository as Java, for repositories using this language it is ranked #28,197/28,578.

SWAT-project/SWAT is also tagged with popular topics, for these it's ranked: java (#7,676/7759)

Other Information

SWAT-project/SWAT has Github issues enabled, there are 4 open issues and 3 closed issues.

Homepage URL: https://swat-project.github.io/docs/

All Topics

asm java instrumentation symbolic-execution dynamic-symbolic-execution

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

11 commits on the default branch (main) since jan '22

Yearly Commits

Commits to the default branch (main) per year

Issue History

Languages

The primary language is Java but there's also others...

updated: 2024-12-21 @ 10:13am, id: 722783463 / R_kgDOKxTM5w