Giter VIP home page Giter VIP logo

sljia's Projects

arancino icon arancino

Arancino is a dynamic protection framework that defends Intel Pin against anti-instrumentation attacks.

archer icon archer

Archer, a data race detection tool for large OpenMP applications

b2sfinder icon b2sfinder

B2SFinder is a binary-to-source matching tool for OSS reuse detection on COTS software. This project contains the core code of B2SFinder without implementation about database and pipeline.

conafl icon conafl

AFL enhanced for concurrency bug and vulnerabilities

concurrency-bugs icon concurrency-bugs

A collection of concurrency bugs. Please cite our ISCA paper "A Case for an Interleaving Constrained Shared-Memory Multi-Processor" if you used our resource.

conman icon conman

A concurrency mutant generation tool for mutation testing concurrent Java.

covid-sim icon covid-sim

This is the COVID-19 CovidSim microsimulation model developed by the MRC Centre for Global Infectious Disease Analysis hosted at Imperial College, London.

cs-notes icon cs-notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计、Java、Python、C++

curd-llvm icon curd-llvm

llvm-based implementation of CURD: a CUDA Race Detector

datarace icon datarace

Dynamic data race detection with hardware support

dataracebench icon dataracebench

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

dbi icon dbi

Files for http://blog.deniable.org/posts/binary-instrumentation/

dighr icon dighr

A dynamic hidden-race detector for C/C++ programs.

drace icon drace

Data-race detector for windows applications build on top of DynamoRIO. Moved to

Recommend Projects

  • React photo React

    A declarative, efficient, and flexible JavaScript library for building user interfaces.

  • Vue.js photo Vue.js

    🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.

  • Typescript photo Typescript

    TypeScript is a superset of JavaScript that compiles to clean JavaScript output.

  • TensorFlow photo TensorFlow

    An Open Source Machine Learning Framework for Everyone

  • Django photo Django

    The Web framework for perfectionists with deadlines.

  • D3 photo D3

    Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

  • javascript

    JavaScript (JS) is a lightweight interpreted programming language with first-class functions.

  • web

    Some thing interesting about web. New door for the world.

  • server

    A server is a program made to process requests and deliver data to clients.

  • Machine learning

    Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.

  • Game

    Some thing interesting about game, make everyone happy.

Recommend Org

  • Facebook photo Facebook

    We are working to build community through open source technology. NB: members must have two-factor auth.

  • Microsoft photo Microsoft

    Open source projects and samples from Microsoft.

  • Google photo Google

    Google ❤️ Open Source for everyone.

  • D3 photo D3

    Data-Driven Documents codes.