skyhover

Singapore Management UniversitySingapore

Pinned Repositories

cve-check-tool
Original Automated CVE Checking Tool
Language:C0 1 00
Deckard
Code clone detection; clone-related bug detection; sematic clone analysis
Language:C210 16 2678
dyclone
eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.
Language:OCaml4 1 03
gumtree
A neat code differencing tool
Language:Java1 1 00

skyhover's Repositories

skyhover/Deckard
Code clone detection; clone-related bug detection; sematic clone analysis
Language:C210 16 2678
skyhover/dyclone
eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.
Language:OCaml4 1 03
skyhover/gumtree
A neat code differencing tool
Language:Java1 1 00
skyhover/cve-check-tool
Original Automated CVE Checking Tool
Language:C0 1 00