binyu-xidian-university Goto Github PK

phasar

A LLVM-based static analysis framework.

pptlcheck

为了展示单机多核并行运行时验证工具PPTLCheck验证大规模程序的能力，我们将PPTLCheck用来验证10个代码规模为1300行至33000行的工业级程序，每个文件中包含了安全性、活性、弱公平性和周期重复性四种性质和MSVL源程序

publications

Publications of Runtime Verification, Inc.

racebench

Examples for NASAC 2019 interrupt race detection competition

rasa

💬 Open source machine learning framework to automate text- and voice-based conversations: NLU, dialogue management, connect to Slack, Facebook, and more - Create chatbots and voice assistants

safe-smartcontracts

A Sequence Learning Approach to Detecting Vulnerabilities

safely-mutable-erc-20-interface

An interface for an ERC-20 token smart contract that enforces the expected behaviour of each entry-point.

seahorn

SeaHorn Verification Framework

securify2

Securify v2.0

sfuzz

slither

Static Analyzer for Solidity

smartbugs

SmartBugs: A Framework to Analyze Solidity Smart Contracts

smartfast

smartpulsetool

soda

solang

Solidity Compiler for Solana, Substrate, and ewasm

solidity

Solidity, the Smart Contract Programming Language

soll

SOLL is a new compiler for generate Ewasm from solidity and yul. See a demo here: https://asciinema.org/a/ezJqNLicn5fya02zwu4VXIo8a

souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

spec

WebAssembly specification, reference interpreter, and test suite.

specchecker-isa

sqlite3check

SQLite3Check验证的调用SQLite3数据库API的C程序等价转换得到的MSVL程序，共30个

stanford_alpaca

Code and documentation to train Stanford's Alpaca models, and generate the data.

svr-model-based-on-electronic-tongue-test

MATLAB code to estiablish the SVR model to predict the maturity level and human sensory evaluation based on electronic tongue test

txspector

uberilliwnsim

An extension of Illinois WNSim as a client library.

vandal

Static program analysis framework for Ethereum smart contract bytecode.

velodrome

Atomicity Violation Detector in RoadRunner

verx-benchmarks

vnt-documentation