SpencerL-Y
A Phd. student of University of China Academy of Sciences (UCAS).
Institute of Software, CASBeijing
Pinned Repositories
ISADT
ChatAnalyzer
use gpt for code analyzing
LLVMADT
Abstract data structure of llvm based program analysis work.
OCAReach
Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula
refinedGenerated
refined generated code of code generation program
SELO
esbmc for learning
SESL
A Symbolic Executor based on Separaton Logic
SVMRanker
SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM
SyzLLM
syzkaller fuzzing with LLM
Z3-SLHV
extension of z3 to logic SLHV
SpencerL-Y's Repositories
SpencerL-Y/SESL
A Symbolic Executor based on Separaton Logic
SpencerL-Y/SyzLLM
syzkaller fuzzing with LLM
SpencerL-Y/ChatAnalyzer
use gpt for code analyzing
SpencerL-Y/LLVMADT
Abstract data structure of llvm based program analysis work.
SpencerL-Y/refinedGenerated
refined generated code of code generation program
SpencerL-Y/SELO
esbmc for learning
SpencerL-Y/Z3-SLHV
extension of z3 to logic SLHV
SpencerL-Y/BoogieToPython
A tool used for ranking exp to translate boogie programs into python programs.
SpencerL-Y/SVMRanker
SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM
SpencerL-Y/SyzWithLLM
SpencerL-Y/llvm_kernel_analysis
SpencerL-Y/OCAReach
Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula
SpencerL-Y/TexBak
Tex file backup. Most of the files are slides.
SpencerL-Y/802.1x-Impl
SpencerL-Y/AccAu8
AccAu8 protocol implementation
SpencerL-Y/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
SpencerL-Y/CommitExtractor
for linux repo commit info extraction
SpencerL-Y/CommLib
Communication survey and library for code generation
SpencerL-Y/CryptoLib
crypto library for code generation
SpencerL-Y/cvc5-slhv
add slhv to cvc5
SpencerL-Y/DHProtocolTemplate
generated protocol
SpencerL-Y/ePMC
EPMC: An Extendible Probabilistic Model Checker
SpencerL-Y/ISADT
CodeGeneration Program
SpencerL-Y/LassoRankerExp
SpencerL-Y/line2addr_kernel
SpencerL-Y/Rtkaller_modify
SpencerL-Y/SLHV
Verification toolchain and solver for logic SLHV
SpencerL-Y/SpencerL-Y
SpencerL-Y/testGenerated
SpencerL-Y/ultimate