sljiaa Goto Github PK

parsec-1

pin

Intel pin tools

pincfgreconstructor

Implementation trade-offs in using Intel Pin for instruction tracing of complex programs

pinfi

PIN-based Fault-Injector is a fault injector based on the Intel PIN tool. For more information, please refer to the following paper:

pinplay-drdebug-3.5-pin-3.5-97503-gac534ca30-gcc-linux-2

pinplaytools

Program Record/Replay Toolkit Scripts

pinpp

C++ template meta-programmable framework for authoring Pintools

pintools

Pintool example and PoC for dynamic binary analysis

pintools-1

pitest

State of the art mutation testing system for the JVM

prorace

ProRace Prototype for ASPLOS 2k17

proteum

Tool for mutation testing of C programs

protobuf

Protocol Buffers - Google's data interchange format

protobuf-2.4.1

protobuf-2.5.0

protobuf-2.5.0

racedetectiontool

A Tool that utilizes the Intel Pin framework to dynamically test race conditions in an executable

racefuzzer

A copy of Koushik Sen's racefuzzer, for CS294-15

rapid

Dynamic Analysis for Concurrent Programs

raptor

Public open source prototype implementation of Raptor analysis, an Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

realworldapplications

Several real world applications with concurrency errors.

redis

Redis is an in-memory database that persists on disk. The data model is key-value, but many different kind of values are supported: Strings, Lists, Sets, Sorted Sets, Hashes, Streams, HyperLogLogs, Bitmaps.

relay

Mirror of RELAY: Static Race Detection, by Jan Wen Voung http://cseweb.ucsd.edu/~jvoung/race/

roadrunner

romp

A dynamic data race detector for OpenMP programs

rvea

哎，多目标优化算法

sanitizers

AddressSanitizer, ThreadSanitizer, MemorySanitizer

satire

Scalable yet rigorous Floating-point Error Analysis

scpptool

scpptool is a command line tool to help enforce a memory and data race safe subset of C++.

sctbench

SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.

sctbenchmarks