SpencerL-Y

A Phd. student of University of China Academy of Sciences (UCAS).

Institute of Software, CASBeijing

Pinned Repositories

ISADT
Language:C++0 3 00
ChatAnalyzer
use gpt for code analyzing
Language:Python20
IOALearner
A learner for I/O automata implemented base on ROLL. This algorithm was proposed by Frits Vaandrager in Radboud University.
Language:Java0 3 00
LLVMADT
Abstract data structure of llvm based program analysis work.
Language:C++2 2 00
OCAReach
Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula
Language:Java0 2 00
refinedGenerated
refined generated code of code generation program
Language:C++2 2 00
SESL
A Symbolic Executor based on Separaton Logic
Language:SWIG7 3 00
SVMRanker
SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM
Language:Python1 2 00
SyzLLM
syzkaller fuzzing with LLM
Language:Go20
Z3-slhv
extension of z3 to logic SLHV
Language:C++20

SpencerL-Y's Repositories

SpencerL-Y/SESL
A Symbolic Executor based on Separaton Logic
Language:SWIG7 3 00
SpencerL-Y/ChatAnalyzer
use gpt for code analyzing
Language:Python20
SpencerL-Y/LLVMADT
Abstract data structure of llvm based program analysis work.
Language:C++2 2 00
SpencerL-Y/refinedGenerated
refined generated code of code generation program
Language:C++2 2 00
SpencerL-Y/SyzLLM
syzkaller fuzzing with LLM
Language:Go20
SpencerL-Y/Z3-slhv
extension of z3 to logic SLHV
Language:C++20
SpencerL-Y/BoogieToPython
A tool used for ranking exp to translate boogie programs into python programs.
Language:Python1 2 00
SpencerL-Y/SVMRanker
SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM
Language:Python1 2 00
SpencerL-Y/OCAReach
Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula
Language:Java0 2 00
SpencerL-Y/TexBak
Tex file backup. Most of the files are slides.
Language:TeX0 2 00
SpencerL-Y/802.1x-Impl
Language:C++2 0
SpencerL-Y/AccAu8
AccAu8 protocol implementation
Language:C++2 0
SpencerL-Y/BA2DOT
A small program that convert a BA format automaton into DOT format.
Language:Java2 0
SpencerL-Y/benchexec
BenchExec: A Framework for Reliable Benchmarking and Resource Measurement
Language:Python1 0
SpencerL-Y/CommitExtractor
for linux repo commit info extraction
Language:Python
SpencerL-Y/CommLib
Communication survey and library for code generation
Language:C2 0
SpencerL-Y/CryptoLib
crypto library for code generation
Language:C++2 0
SpencerL-Y/DHProtocolTemplate
generated protocol
Language:C++2 0
SpencerL-Y/ePMC
EPMC: An Extendible Probabilistic Model Checker
Language:JavaScript1 0
SpencerL-Y/ISADT
CodeGeneration Program
Language:C++2 0
SpencerL-Y/LassoRankerExp
Language:Python2 0
SpencerL-Y/line2addr_kernel
Language:Python
SpencerL-Y/llvm_kernel_analysis
Language:C++
SpencerL-Y/ROLL-FOR-GUI
Temp repo of ROLL modification
Language:Java2 0
SpencerL-Y/ROLL-GUI
ROLL with GUI
Language:JavaScript2 0
SpencerL-Y/Rtkaller_modify
Language:Go1 0
SpencerL-Y/SpencerL-Y
2 0
SpencerL-Y/SyzWithLLM
Language:Go
SpencerL-Y/testGenerated
Language:C++2 0
SpencerL-Y/ultimate
Language:C1 0