fCorleone's repositories

runtime_coverage

Runtime coverage collection based on llvm sanitizer coverage

Language:RustStargazers:3Issues:2Issues:0

LOKI

A fuzzer for blockchain systems and distributed systems

Language:RustStargazers:2Issues:0Issues:0

Phoenix

A framework for detecting and positioning the resilience issues of consortium blockchain

Language:GoStargazers:2Issues:0Issues:0
Language:PythonStargazers:1Issues:0Issues:0

Pluto

A symbolic execution tool for smart contract vulnerabilities detection which supports contract calls based on Oyente

Language:PythonStargazers:1Issues:0Issues:0

VBSAC

a value-based static analyzer for c code bug detection

Language:LLVMStargazers:1Issues:1Issues:0
Language:JavaScriptLicense:MPL-2.0Stargazers:0Issues:1Issues:0

bcos-pbft

PBFT implementation for FISCO BCOS 3.0

License:Apache-2.0Stargazers:0Issues:1Issues:0

blockchain_conference_paper

The existed blockchain-related academic papers. All papers are sorted according the conference and publihed year.

Stargazers:0Issues:1Issues:0

ChatKit

Android library. Flexible components for chat UI implementation with flexible possibilities for styling, customizing and data management. Made by Stfalcon

Language:JavaLicense:Apache-2.0Stargazers:0Issues:1Issues:0

ContractFuzzer

The Ethereum Smart Contract Fuzzer for Security Vulnerability Detection (ASE 2018)

Language:GoStargazers:0Issues:1Issues:0

DeFiHackLabs

Reproduce DeFi hacked incidents using Foundry.

Language:SolidityStargazers:0Issues:0Issues:0

ethereumjs-monorepo

Monorepo for the Ethereum VM TypeScript Implementation

Language:TypeScriptStargazers:0Issues:1Issues:0

fCorleone.github.io

academic homepage

Language:PythonStargazers:0Issues:2Issues:0

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.

Language:C++License:Apache-2.0Stargazers:0Issues:1Issues:0

FISCO-BCOS-DOC

FISCO BCOS 技术文档(安装部署、搭链教程、系统原理、社区资源)Document of FISCO BCOS

Language:PythonStargazers:0Issues:1Issues:0

FISCO-BCOS-SIG

专项兴趣小组(Special Interest Group,简称SIG)信息展示

License:Apache-2.0Stargazers:0Issues:1Issues:0
Language:SCSSStargazers:0Issues:2Issues:0
Language:ShellLicense:Apache-2.0Stargazers:0Issues:0Issues:0

mythril

Security analysis tool for Ethereum smart contracts

Language:PythonLicense:MITStargazers:0Issues:1Issues:0

openbazaar-go

OpenBazaar 2.0 Server Daemon in Go

Language:GoLicense:MITStargazers:0Issues:1Issues:0

P2P-Over-MiddleBoxes-Demo

A simple demo of P2P communication over middle boxes such as NAT

Language:CStargazers:0Issues:1Issues:0

parity-ethereum

The fast, light, and robust EVM and WASM client.

Language:RustLicense:GPL-3.0Stargazers:0Issues:1Issues:0

Phoenix-fisco

A chaos testing framework for FISCO-BCOS

Language:C++License:Apache-2.0Stargazers:0Issues:0Issues:0

solidity-coverage

Code coverage for Solidity smart-contracts

Language:JavaScriptLicense:MITStargazers:0Issues:1Issues:0