binyu-xidian-university Goto Github PK

ecfchecker

A dynamic checker for the ECF property incorporated into geth

eips

The Ethereum Improvement Proposal repository

eos

An open source smart contract platform

eosio.cdt

EOSIO.CDT (Contract Development Toolkit) is a suite of tools used to build EOSIO contracts

eth-reentrancy-attack-patterns

Re-entrancy attack patterns from our paper "Sereum: Protecting Existing Smart Contracts Against Re-Entrancy Attacks"

ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

ethscope

A Transaction-centric Security Analytics Framework to Detect Malicious Smart Contracts on Ethereum

fret

A framework for the elicitation, specification, formalization and understanding of requirements.

geth-analyze

go-ethereum source code analyzation under the perspective of smart contract security

gluon

Tool for static verification of Contracts for Concurrency in Java programs

go-vnt

An open source distributed value network

horus

A framework to detect attacks and trace stolen assets across Ethereum (FC 2021).

icon

Inferring Temporal Constraints from Natural Language API Descriptions

ikos

Static analyzer for C/C++ based on the theory of Abstract Interpretation.

intabs

Repository for ASE 2017 paper, "Modular Verification of Interrupt-driven Software".

ir-fuzz

Rethinking Smart Contract Fuzzing: Fuzzing With Invocation Ordering and Important Branch Revisiting (TIFS 2022 Accepted).

knowledgegraphdata

史上最大规模1.4亿中文知识图谱开源下载

llama

Inference code for LLaMA models

llvm-project

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

ltp

Language Technology Platform

manticore

Symbolic execution tool

minigpt-4

MiniGPT-4: Enhancing Vision-language Understanding with Advanced Large Language Models

multivul-gcn

Multi Graph Smart Contract Vulnerability Detection

mythril

Security analysis tool for EVM bytecode. Supports smart contracts built for Ethereum, Hedera, Quorum, Vechain, Roostock, Tron and other EVM-compatible blockchains.

nettyrpc

A simple RPC framework based on Netty, ZooKeeper and Spring

nl2spec

nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models

nl2tl

nncase

Open deep learning compiler stack for Kendryte K210 AI accelerator

nogil

Multithreaded Python without the GIL

oasis-ssvm-runtime

SSVM runtime for EVM and Ewasm contract on Oasis platform