SoftSec-KAIST / Smartian

Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)

Date Created 2021-09-01 (3 years ago)

Commits 10 (last one 7 months ago)

Stargazers 147 (0 this week)

Watchers 8 (0 this week)

Forks 22

License mit

Ranking

RepositoryStats indexes 595,856 repositories, of these SoftSec-KAIST/Smartian is ranked #225,470 (62nd percentile) for total stargazers, and #246,776 for total watchers. Github reports the primary language for this repository as F#, for repositories using this language it is ranked #156/414.

SoftSec-KAIST/Smartian is also tagged with popular topics, for these it's ranked: fuzzing (#178/341), fsharp (#120/243)

Other Information

SoftSec-KAIST/Smartian has 1 open pull request on Github, 0 pull requests have been merged over the lifetime of the repository.

Github issues are enabled, there are 5 open issues and 3 closed issues.

There have been 1 release, the latest one was published on 2021-11-05 (3 years ago) with the name Smartian v1.0.

All Topics

fsharp fuzzer fuzzing static-analyzer smart-contract-testing

Star History

Github stargazers over time

Watcher History

Github watchers over time, collection started in '23

Recent Commit History

2 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 F# but there's also others...

updated: 2024-12-02 @ 05:17am, id: 402054789 / R_kgDOF_behQ