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