phli's repositories
Database-System
Database System course at UCAS: 1. train ticket query 2. implement a simple DB.
Symbolic-Execution-PHC
A (failed) attempt to perform symbolic execution over PHC.
Language:Python000
000
s2e-manifest
Contains the Google repo manifests to manage S2E sources
000
apisan
APISan: Sanitizing API Usages through Semantic Cross-Checking
Language:C++000
Compiler-Homework
Written (non-coding) homework of compiler at UCAS
000
GPL-3.0000
ParseCallstack
Parse crash callstack for better analysis
000