binyu-xidian-university Goto Github PK

-msvl-

使用MSVL程序描述多线程交替执行的模型，针对该模型，使用PPTL描述期望满足的周期重复的性质，进而使用基于多核的运行时验证方法对其进行验证

aegis

A generic runtime analysis tool to detect and protect against attacks in Ethereum (AsiaCCS 2020).

alternate-execution-of-multiple-threads-in-a-c-program-

使用C程序中的SuspendThread和ResumeThread函数实现多线程交替执行

apisim

apron

Apron Numerical Abstract Domain Library

arbitrum

Powers fast, private, decentralized applications

arvdn

avpredictor

A prototype tool to find Atomicity-violation bugs in multi-threaded programs

awesome-afl

A curated list of different AFL forks and AFL inspired fuzzers with detailed equivalent academic papers and AFL-fuzzing tutorials

bittiger

来自硅谷的终身学习大学

blnfg

哲学家就餐和银行家算法MSVL程序

bp-network

burrow

https://wiki.hyperledger.org/display/burrow

callmemaybe

cbmc

C Bounded Model Checker

chatgpt_academic

科研工作专用ChatGPT拓展，特别优化学术Paper润色体验，支持自定义快捷按钮，支持markdown表格显示，Tex公式双显示，代码显示功能完善，新增本地Python工程剖析功能/自我剖析功能

confuzzius

A data dependency-aware hybrid fuzzer for Ethereum smart contracts (EuroS&P 2021).

contractlarva

Runtime verification tool for Solidity smart contracts.

cpa4av

Detecting Atomicity Violations in Interrupt-Driven Programs via Interruption Points Selecting and Delayed ISR-Triggering

cpm-bee

百亿参数的中英文双语基座大模型

dataracebench

Data race benchmark suite for evaluating OpenMP correctness tools aimed to detect data races.

deagle

def_leak

Ten C programs used to test the performance of DEF_LEAK combining dynamic analysis and DSE

def_leak-

defectchecker

design

WebAssembly Design Documents

dg

[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.

dice_miner

specification miner described in the Adversarial Specification Mining paper

doccon

DocCon is an automated tool for identifying Solidity smart contract API documentation errors

ec-diff

Repository for ASE 2018 paper, "Datalog-based Scalable Semantic Diffing of Concurrent Programs".