SoftSec-KAIST / Smartian

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

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

Commits 10 (last one about a month ago)

Stargazers 134 (0 this week)

Watchers 8 (0 this week)

Forks 21

License mit

Ranking

RepositoryStats indexes 534,880 repositories, of these SoftSec-KAIST/Smartian is ranked #223,098 (58th percentile) for total stargazers, and #236,088 for total watchers. Github reports the primary language for this repository as F#, for repositories using this language it is ranked #163/392.

SoftSec-KAIST/Smartian is also tagged with popular topics, for these it's ranked: fuzzing (#182/317), fsharp (#123/233)

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 2 closed issues.

There have been 1 release, the latest one was published on 2021-11-05 (2 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-06-13 @ 12:39am, id: 402054789 / R_kgDOF_behQ