This is stars and forks stats for /SoftSec-KAIST/Smartian repository. As of 27 Apr, 2024 this repository has 111 stars and 15 forks.
Smartian Smartian is a grey-box fuzzer for Ethereum smart contracts. Smartian leverages static and dynamic data-flow analyses to enhance the effectiveness of fuzzing. The technical details of Smartian can be found in our paper "Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses" published in ASE 2021. Installation Smartian is written in F#, so you have to install .NET to run Smartian. Installation step differs for each Linux distribution, so please refer to this link...
Smartian Smartian is a grey-box fuzzer for Ethereum smart contracts. Smartian leverages static and dynamic data-flow analyses to enhance the effectiveness of fuzzing. The technical details of Smartian can be found in our paper "Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses" published in ASE 2021. Installation Smartian is written in F#, so you have to install .NET to run Smartian. Installation step differs for each Linux distribution, so please refer to this link...
repo | techs | stars | weekly | forks | weekly |
---|---|---|---|---|---|
geoschem/HEMCO | FortranCCMake | 15 | 0 | 27 | 0 |
ccfos/nightingale | GoPythonOther | 7.4k | 0 | 1.2k | 0 |
xinliangnote/go-gin-api | GoHTMLJavaScript | 5k | 0 | 1k | 0 |
metallb/metallb | GoSCSSHTML | 6.1k | +13 | 806 | +3 |
BurntSushi/erd | HaskellNixShell | 1.7k | +2 | 152 | 0 |
rasbt/machine-learning-book | Jupyter NotebookOther | 2.3k | +16 | 829 | +6 |
mateusz-bak/openreads-android | DartOther | 428 | 0 | 24 | 0 |
dooboolab/react-native-iap | TypeScriptKotlinSwift | 2.5k | 0 | 591 | 0 |
leic-pt/resumos-leic | MarkdownJavaScriptOther | 30 | 0 | 58 | 0 |
mattwach/epaper_clock | nesCCOpenSCAD | 35 | 0 | 5 | 0 |