wcphkust Goto Github PK
Type: User
Company: Postdoc@Purdue CS, HKUST Alumnus
Bio: Static analysis, program language theory
Location: West Lafayette
wcphkust's Projects
ormcollection
ORM Applications
pagai
peda
PEDA - Python Exploit Development Assistance for GDB
phasar
A LLVM-based static analysis framework.
pointerbench
A points-to and alias analysis benchmark suite
pydriller
Python Framework to analyse Git repositories
pylint
It's not just a linter that annoys you!
pyt
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
pyzotero
Pyzotero: a Python client for the Zotero API
relational-ematching-benchmark
rudra-artifacts
Rudra's artifact evaluation submission
ruler
Rewrite Rule Inference Using Equality Saturation
safe
SAFE static analysis tools
sanitizers
AddressSanitizer, ThreadSanitizer, MemorySanitizer
scalpel
Scalpel: A Python Program Analysis Framework
sea-dsa
A new context, field, and array-sensitive heap analysis for LLVM bitcode based on DSA.
seahorn
SeaHorn Verification Framework
semantic
Parsing, analyzing, and comparing source code across many languages
sempre
Semantic Parser with Execution
servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
sling
snake-egg
Python bindings for egg
soot
Soot - A Java optimization framework
soot-analysis
an experimental project for implementing different soot analysis.
sootpass
The collections of common transformers
soottutorial
A step-by-step tutorial for Soot (a Java static analysis framework)
sound-modulo-analysis-openjdk-8
This repository contains a modified `sound-modulo-analysis` version of the Java OpenJDK 8 as described in the PLDI 2020 paper "Static Analysis of Java Enterprise Applications: Frameworks and Caches, The Elephants in the Room"
spds
Efficient and Precise Pointer-Tracking Data-Flow Framework
spindle
stackify-findhibernateperformanceissues
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
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.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.