YuanchengJiang

՞•Ꙫ•՞

National University of SingaporeSingapore

Pinned Repositories

cvc5
cvc5 is an open-source automatic theorem prover for Satisfiability Modulo Theories (SMT) problems.
Language:SMT1.1k 37 2.6k243
flowfusion
A Dataflow-Driven and Automated Fuzzer for the PHP Interpreter
Language:PHP241
php-src
The PHP Interpreter
Language:C38.7k 1.4k 3.9k7.8k
questdb
QuestDB is a high performance, open-source, time-series database
Language:Java14.9k 136 2k1.2k
exit_hijack
auto find the offset for exploiting _rtld_global structure to hijack exit()
Language:Python2 1 01
GraphGenie
To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
Language:Python33 1 31
recipe-benchmark
Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses
Language:Python13 1 12
SQLxDiff
To enhance the differential testing on DBMS via SQL query mappings
Language:Python40
syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
Language:Go0 0 00
yuanchengjiang.github.io
Yuancheng's HomePage
Language:SCSS0 0 00

YuanchengJiang/GraphGenie
To detect logic bugs in graph database engines by mutating graph query patterns. ICSE'24.
Language:Python33 1 31
YuanchengJiang/recipe-benchmark
Source code of AsiaCCS'22 paper - RecIPE: Revisiting the Evaluation of Memory Error Defenses
Language:Python13 1 12
YuanchengJiang/SQLxDiff
To enhance the differential testing on DBMS via SQL query mappings
Language:Python40
YuanchengJiang/exit_hijack
auto find the offset for exploiting _rtld_global structure to hijack exit()
Language:Python2 1 01
YuanchengJiang/syzkaller
syzkaller is an unsupervised coverage-guided kernel fuzzer
Language:Go0 0 00
YuanchengJiang/yuanchengjiang.github.io
Yuancheng's HomePage
Language:SCSS0 0 00