Artisan-Lab (Fn*)

Artificial Intelligence for Software Analysis and System Reliability Lab @ Fudan University

Pinned Repositories

foREST
Language:Python5 1 10
RAP
Rust Analysis Platform
Language:Rust22 3 57
RULF
A fully automated Rust fuzz driver generator
Language:Rust48 1 46
Rust-memory-safety-bugs
26 4 02
Rust-Recommender
Language:HTML3 1 00
Rust-SGNN
Language:Rust4 1 00
SafeDrop
A additional Rust compiler pass to detect memory safe bugs of Rust programs.
Language:Rust15 1 10
SafeNet
Language:Rust5 2 00
SafetyProperty
2 1 00
SMTimer
Language:Python9 2 32

Artisan-Lab (Fn*) 's Repositories

Artisan-Lab/RULF
A fully automated Rust fuzz driver generator
Language:Rust48 1 46
Artisan-Lab/Rust-memory-safety-bugs
26 4 02
Artisan-Lab/RAP
Rust Analysis Platform
Language:Rust22 3 57
Artisan-Lab/SafeDrop
A additional Rust compiler pass to detect memory safe bugs of Rust programs.
Language:Rust15 1 10
Artisan-Lab/SMTimer
Language:Python9 2 32
Artisan-Lab/foREST
Language:Python5 1 10
Artisan-Lab/SafeNet
Language:Rust5 2 00
Artisan-Lab/Rust-SGNN
Language:Rust4 1 00
Artisan-Lab/Rust-Recommender
Language:HTML3 1 00
Artisan-Lab/Fuzzing-Scripts
Language:Rust2 2 22
Artisan-Lab/rCanary
Rust Leakage Checker (rCanary) repo
Language:Rust2 2 01
Artisan-Lab/Rust-Bugs-Hunted
Language:Rust2 2 0
Artisan-Lab/SafetyProperty
2 1 00
Artisan-Lab/Artisan-Lab.github.io
Language:HTML1 2 0
Artisan-Lab/hpc-demo
Rust High performance computing demo
Language:Rust1 1 0
Artisan-Lab/knowledge_graph_app
计算机课程知识图谱
Language:Vue1 0 0
Artisan-Lab/RAP-Book
1 2 00
Artisan-Lab/rap-rust
Using for building rap.
Language:Rust1 1 00
Artisan-Lab/STELLA
STELLA source code and exprimental results
Language:C++1 0 0
Artisan-Lab/foREST-experiment-data
Language:Python
Artisan-Lab/InputGen
Language:Python1 01
Artisan-Lab/RustPaperCollections
1 0
Artisan-Lab/UnsafeClassification
1 0