# SoftSec-KAIST/Smartian

<https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Smartian>

[Home](https://repo.masters-masters.com/en) › [SoftSec-KAIST](https://repo.masters-masters.com/en/owners/SoftSec-KAIST) › [Smartian](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Smartian)

SoftSec-KAIST/Smartian has 160 stars on GitHub. Its RepoMasters card: Prototype tier. Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic…

| Field | Value |
| --- | --- |
| Owner | [SoftSec-KAIST](https://repo.masters-masters.com/en/owners/SoftSec-KAIST) |
| Stars | 160 |
| Forks | 27 |
| Language | [F\#](https://repo.masters-masters.com/en/languages/f-sharp) |
| License | MIT |
| Created | 2021 |
| Topics | smart-contract-testing, fuzzer, static-analyzer, fsharp, fuzzing |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [SoftSec-KAIST/Smartian](https://github.com/SoftSec-KAIST/Smartian) |

## Repository

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

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by SoftSec-KAIST

- [SoftSec-KAIST/CodeAlchemist · ★ 243 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/CodeAlchemist)
- [SoftSec-KAIST/Fuzzing-Survey · ★ 231 · JavaScript · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Fuzzing-Survey)
- [SoftSec-KAIST/BinKit · ★ 183 · Shell · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/BinKit)
- [SoftSec-KAIST/Eclipser · ★ 155 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/Eclipser)
- [SoftSec-KAIST/TikNib · ★ 125 · Python · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/TikNib)
- [SoftSec-KAIST/NTFuzz · ★ 114 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SoftSec-KAIST/NTFuzz)

## Nearby in F\#

- [jet/kafunk · ★ 160 · F\# · Prototype](https://repo.masters-masters.com/en/repos/jet/kafunk)
- [kekyo/FSharp.Control.FusionTasks · ★ 160 · F\# · Prototype](https://repo.masters-masters.com/en/repos/kekyo/FSharp.Control.FusionTasks)
- [swlaschin/fsharpforfunandprofit.com · ★ 160 · F\# · Prototype](https://repo.masters-masters.com/en/repos/swlaschin/fsharpforfunandprofit.com)
- [SAFE-Stack/SAFE-Nightwatch · ★ 157 · F\# · Prototype](https://repo.masters-masters.com/en/repos/SAFE-Stack/SAFE-Nightwatch)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.