PrototypeCommon
SoftSec-KAIST/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
- Owner
- SoftSec-KAIST (organization)
- Stars
- Stars: 160
- Forks
- Forks: 27
- Language
- F#
- License
- MIT
- Created
- 2021
- Topics
- smart-contract-testingfuzzerstatic-analyzerfsharpfuzzing
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by SoftSec-KAIST
All 8 repos by SoftSec-KAIST- SoftSec-KAIST/CodeAlchemistStars: 243F#Prototype
- SoftSec-KAIST/Fuzzing-SurveyStars: 231JavaScriptPrototype
- SoftSec-KAIST/BinKitStars: 183ShellPrototype
- SoftSec-KAIST/EclipserStars: 155F#Prototype
- SoftSec-KAIST/TikNibStars: 125PythonPrototype
- SoftSec-KAIST/NTFuzzStars: 114F#Prototype
Nearby in F#
All F# repos- jet/kafunkStars: 160F#Prototype
- kekyo/FSharp.Control.FusionTasksStars: 160F#Prototype
- swlaschin/fsharpforfunandprofit.comStars: 160F#Prototype
- SAFE-Stack/SAFE-NightwatchStars: 157F#Prototype