Pinned Repositories
ASAN-JSEVM
bcos-pbft
PBFT implementation for FISCO BCOS 3.0
blockchain_conference_paper
The existed blockchain-related academic papers. All papers are sorted according the conference and publihed year.
EVMFuzzer
fuzz_programs
LOKI
A fuzzer for blockchain systems and distributed systems
Phoenix
A framework for detecting and positioning the resilience issues of consortium blockchain
Pluto
A symbolic execution tool for smart contract vulnerabilities detection which supports contract calls based on Oyente
runtime_coverage
Runtime coverage collection based on llvm sanitizer coverage
VBSAC
a value-based static analyzer for c code bug detection
fCorleone's Repositories
fCorleone/fuzz_programs
fCorleone/Phoenix
A framework for detecting and positioning the resilience issues of consortium blockchain
fCorleone/runtime_coverage
Runtime coverage collection based on llvm sanitizer coverage
fCorleone/LOKI
A fuzzer for blockchain systems and distributed systems
fCorleone/EVMFuzzer
fCorleone/Pluto
A symbolic execution tool for smart contract vulnerabilities detection which supports contract calls based on Oyente
fCorleone/VBSAC
a value-based static analyzer for c code bug detection
fCorleone/ASAN-JSEVM
fCorleone/bcos-pbft
PBFT implementation for FISCO BCOS 3.0
fCorleone/blockchain_conference_paper
The existed blockchain-related academic papers. All papers are sorted according the conference and publihed year.
fCorleone/ChatKit
Android library. Flexible components for chat UI implementation with flexible possibilities for styling, customizing and data management. Made by Stfalcon
fCorleone/ContractFuzzer
The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)
fCorleone/DeFiHackLabs
Reproduce DeFi hacked incidents using Foundry.
fCorleone/ethereumjs-monorepo
Monorepo for the Ethereum VM TypeScript Implementation
fCorleone/fCorleone.github.io
Personal academic homepage
fCorleone/FISCO-BCOS
FISCO BCOS（发音为/ˈfɪskl bi:ˈkɒz/）是一个稳定、高效、安全的许可区块链平台，已被广泛应用于现实的行业应用。截至目前，已拥有5000多家企事业单位，400多个产业数字化标杆应用，涵盖文化版权、司法服务、政府服务、物联网、金融、智慧社区、房地产建设、社区治理、乡村振兴等领域。FISCO BCOS (pronounced /ˈfɪskl bi:ˈkɒz/) is a stable, efficient, and secure permissioned blockchain platform that has been widely used in real-world industry applications.
fCorleone/FISCO-BCOS-DOC
FISCO BCOS 技术文档（安装部署、搭链教程、系统原理、社区资源）Document of FISCO BCOS
fCorleone/FISCO-BCOS-SIG
专项兴趣小组（Special Interest Group，简称SIG）信息展示
fCorleone/hugo-fuchen-webpage
fCorleone/LOKI-FISCO-BCOS
fCorleone/mythril
Security analysis tool for Ethereum smart contracts
fCorleone/openbazaar-go
OpenBazaar 2.0 Server Daemon in Go
fCorleone/P2P-Over-MiddleBoxes-Demo
A simple demo of P2P communication over middle boxes such as NAT
fCorleone/parity-ethereum
The fast, light, and robust EVM and WASM client.
fCorleone/Phoenix-fisco
A chaos testing framework for FISCO-BCOS
fCorleone/solidity-coverage
Code coverage for Solidity smart-contracts