Date	Project	Link	Finder	Status	Description
2020-12-2	url	issue/654	Jiang, Jianfeng (Steven)	fixed	slicing error
2020-12-4	url	issue/656	Jiang, Jianfeng (Steven)	fixed	out of index
2020-12-15	json	issue/193	Jiang, Jianfeng (Steven)	submitted	2 panic bugs
2020-12-17	xi-editor	issue/1303	Jiang, Jianfeng (Steven)	confirmed	4 bugs
2020-12-23	clap	issue/2264	Jiang, Jianfeng (Steven)	fixed	2 unicode bugs
2021-1-9	semver	issue/227	Jiang, Jianfeng (Steven)	submitted	unwrap error
2021-1-9	tui	issue/446	Jiang, Jianfeng (Steven)	submitted	4 arithmetic overflow bugs
2021-1-10	regex	issue/738	Jiang, Jianfeng (Steven)	confirmed	10 bugs
2021-1-24	time	issue/309	Jiang, Jianfeng (Steven)	fixed	7 bugs
2021-1-11	wasm-gb	issue/2	Mohan Cui	submitted	double free if panic
2021-1-27	cs451_project5-6	issue/1	Chengjun Chen	submitted	dangling pointer
2021-1-27	mongo-leaf	issue/1	Chengjun Chen	submitted	double free if panic
2021-1-12	rust_examples	issue/1	Chengjun Chen	submitted	double free if panic
2021-2-14	teraflops	issue/1	Chengjun Chen	submitted	double free if panic
2021-2-14	rs_teardown_tree	issue/2	Chengjun Chen	submitted	double free if panic
2021-1-12	rust_poker	issue/1	Chengjun Chen	submitted	double free if panic
2021-4-21	apres_bindings	issue/1	Chengjun Chen	fixed	double free if panic
2021-4-21	rust-workshop	issue/1	Chengjun Chen	submitted	double free if panic
2021-4-21	rust-webassembly	issue/5	Chengjun Chen	submitted	double free if panic