PrototypeCommune
SoftSec-KAIST/Smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
- Propriétaire
- SoftSec-KAIST (organisation)
- Étoiles
- Étoiles : 160
- Forks
- Forks : 27
- Langage
- F#
- Licence
- MIT
- Création
- 2021
- Sujets
- smart-contract-testingfuzzerstatic-analyzerfsharpfuzzing
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de SoftSec-KAIST
Les 8 dépôts de SoftSec-KAIST- SoftSec-KAIST/CodeAlchemistÉtoiles : 243F#Prototype
- SoftSec-KAIST/Fuzzing-SurveyÉtoiles : 231JavaScriptPrototype
- SoftSec-KAIST/BinKitÉtoiles : 183ShellPrototype
- SoftSec-KAIST/EclipserÉtoiles : 155F#Prototype
- SoftSec-KAIST/TikNibÉtoiles : 125PythonPrototype
- SoftSec-KAIST/NTFuzzÉtoiles : 114F#Prototype
D’autres dépôts F#
Tous les dépôts F#- jet/kafunkÉtoiles : 160F#Prototype
- kekyo/FSharp.Control.FusionTasksÉtoiles : 160F#Prototype
- swlaschin/fsharpforfunandprofit.comÉtoiles : 160F#Prototype
- SAFE-Stack/SAFE-NightwatchÉtoiles : 157F#Prototype