SpencerL-Y

SESL

A Symbolic Executor based on Separaton Logic

ChatAnalyzer

use gpt for code analyzing

LLVMADT

Abstract data structure of llvm based program analysis work.

refinedGenerated

refined generated code of code generation program

SyzLLM

syzkaller fuzzing with LLM

Z3-slhv

extension of z3 to logic SLHV

BoogieToPython

A tool used for ranking exp to translate boogie programs into python programs.

SVMRanker

SVMRanker Version 1.0 --- Tool used for learning nested and multiphase ranking function based on SVM

OCAReach

Implementation of algorithm that convert the reachability problem of one-counter automata into a QFPA formula

SparseMatLib

A Sparse Matrix Library. Final project of data structure course of UCAS.

TexBak

Tex file backup. Most of the files are slides.

802.1x-Impl

AccAu8

AccAu8 protocol implementation

BA2DOT

A small program that convert a BA format automaton into DOT format.

benchexec

BenchExec: A Framework for Reliable Benchmarking and Resource Measurement

CommitExtractor

for linux repo commit info extraction

CommLib

Communication survey and library for code generation

CryptoLib

crypto library for code generation

DHProtocolTemplate

generated protocol

ePMC

EPMC: An Extendible Probabilistic Model Checker

ISADT

CodeGeneration Program

LassoRankerExp

line2addr_kernel

llvm_kernel_analysis

ROLL-FOR-GUI

Temp repo of ROLL modification

ROLL-GUI

ROLL with GUI

Rtkaller_modify

SpencerL-Y

testGenerated

ultimate