Pinned Repositories
.mybin
Some useful commands
AFL
american fuzzy lop - a security-oriented fuzzer
ContainerUnitTestProfiling
Time profiling commonly-used containers
CPBenchmark
This repo contains the bc and source files of C/C++ projects used for value-flow analysis. The LLVM IR is in the version of 3.6.2.
LLM-PLSE-paper
LLMsPracticalGuide
A curated list of practical guide resources of LLMs (LLMs Tree, Examples, Papers)
ORMCollection
ORM Applications
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"
tutorialpass
LLVM pass
z3-playground
z3-python experiment
wcphkust's Repositories
wcphkust/tinysat
A tiny SAT solver
wcphkust/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.
wcphkust/data-constraint-checker
wcphkust/AFL
american fuzzy lop - a security-oriented fuzzer
wcphkust/vattacker
adversarial example generation for Stanford Sentiment Analysis System
wcphkust/peda
PEDA - Python Exploit Development Assistance for GDB
wcphkust/gitbase
SQL interface to git repositories, written in Go. https://docs.sourced.tech/gitbase
wcphkust/.mybin
Some useful commands
wcphkust/CLEVER
Client-Specific Equivalence Checking with PyExSMT
wcphkust/oopsla-19-artifact
Artifact for OOPSLA 2019 Submission "Program Synthesis with Algebraic Library Specifications"
wcphkust/CCExperiment
wcphkust/sling
wcphkust/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
wcphkust/servois
Servois is an experimental tool for automatically generating commutativity conditions from data-structure specifications.
wcphkust/AutoRNP
AutoRNP -- Automated Repair of High Floating-Point Errors in Numerical Libraries
wcphkust/pagai
wcphkust/PointerBench
A points-to and alias analysis benchmark suite
wcphkust/Linear-Algebra-Calculator
Linear Algebra Calculator: collection of basic vector and matrix operations
wcphkust/atlas
wcphkust/juliet-test-suite
:microscope: A collection of test cases in the Java language. It contains examples for 112 different CWEs.
wcphkust/memcad
The MemCAD static analyzer
wcphkust/DOrder
DOrder -- Automatically Learning Shape Specifications
wcphkust/Stackify-FindHibernatePerformanceIssues
wcphkust/jahob
Jahob Verification System
wcphkust/clangml-transforms
transformations from Clang AST to MemCAD AST
wcphkust/LDoctor
LDoctor
wcphkust/tpcds
TPC-DS queries
wcphkust/jdk8u-jdk
wcphkust/memusg
A 'time'-like utility for Unix that measures peak memory usage