PrototypeCommune
RUB-SysSec/EthBMC
The code repository for the 2020 Usenix Security paper "EthBMC: A Bounded Model Checker for Smart Contracts"
- Propriétaire
- RUB-SysSec (compte personnel)
- Étoiles
- Étoiles : 106
- Forks
- Forks : 13
- Langage
- Rust
- Licence
- MIT
- Création
- 2020
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de RUB-SysSec
Les 19 dépôts de RUB-SysSec- RUB-SysSec/DroneSecurityÉtoiles : 1 331PythonBêta
- RUB-SysSec/kAFLÉtoiles : 596PythonAlpha
- RUB-SysSec/redqueenÉtoiles : 402PythonAlpha
- RUB-SysSec/MicrocodeÉtoiles : 357PythonAlpha
- RUB-SysSec/OMENÉtoiles : 335CAlpha
- RUB-SysSec/syntiaÉtoiles : 322PythonAlpha
D’autres dépôts Rust
Tous les dépôts Rust- beescuit/chatflareÉtoiles : 106RustPrototype
- Zagrios/ObeliskÉtoiles : 106RustPrototype
- XNinety9/PrintrÉtoiles : 106RustPrototype
- cuviper/probe-rsÉtoiles : 106RustPrototype
- sbstp/rust-igdÉtoiles : 106RustPrototype
- chyh1990/imageprocÉtoiles : 106RustPrototype