Pinned Repositories
BLCoiR
Information Retrieval-based Fault Localization for Concurrent Programs
COVA
COVA - A static analysis tool to compute path conditions
dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools.
DeuceSTM
Java Software Transactional Memory
EIPs
The Ethereum Improvement Proposal repository
FineLock
A refactoring tool for fine-grained read-write locks.
flex
The Fast Lexical Analyzer - scanner generator for lexing in C and C++
OpenRace
Open source implementation of the Coderrect Scanner core race detection functionality.
RefactoringExample
A simple plug-in based on Eclipse JDT.
SCompiler
A DIY compiler
jedishao's Repositories
jedishao/RefactoringExample
A simple plug-in based on Eclipse JDT.
jedishao/OpenRace
Open source implementation of the Coderrect Scanner core race detection functionality.
jedishao/SCompiler
A DIY compiler
jedishao/BLCoiR
Information Retrieval-based Fault Localization for Concurrent Programs
jedishao/COVA
COVA - A static analysis tool to compute path conditions
jedishao/dataracebench
Data race benchmark suite for evaluating OpenMP correctness tools.
jedishao/DeuceSTM
Java Software Transactional Memory
jedishao/EIPs
The Ethereum Improvement Proposal repository
jedishao/FineLock
A refactoring tool for fine-grained read-write locks.
jedishao/flex
The Fast Lexical Analyzer - scanner generator for lexing in C and C++
jedishao/flix
The Flix Programming Language
jedishao/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.
jedishao/soot
Soot - A Java optimization framework
jedishao/WALA
T.J. Watson Libraries for Analysis, with frontends for Java, Android, and JavaScript, and may common static program analyses
jedishao/jedishao.github.io
jedishao/jedishao23
Config files for my GitHub profile.
jedishao/leveldb
LevelDB is a fast key-value storage library written at Google that provides an ordered mapping from string keys to string values.
jedishao/lucene
Apache Lucene open-source search software
jedishao/mariana-trench
Our security focused static analysis tool for Android and Java applications.
jedishao/protocolToRule
jedishao/smartcheck
SmartCheck – a static analysis tool that detects vulnerabilities and bugs in Solidity programs (Ethereum-based smart contracts).
jedishao/solidity
Solidity, the Smart Contract Programming Language
jedishao/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.
jedishao/STM
JVSTM (Still under development)
jedishao/TIP
Static program analysis for TIP
jedishao/WALA-start
a basic Gradle configuration to get started with WALA