Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists by SoftSec-KAIST
A curated list of projects in awesome lists by SoftSec-KAIST .
https://github.com/softsec-kaist/codealchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
code-generation fsharp fuzzer js-fuzzing
Last synced: 19 Dec 2024
https://github.com/SoftSec-KAIST/CodeAlchemist
CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines (NDSS '19)
code-generation fsharp fuzzer js-fuzzing
Last synced: 07 Nov 2024
https://github.com/softsec-kaist/fuzzing-survey
The Art, Science, and Engineering of Fuzzing: A Survey
fuzzer fuzzing genealogy-database visualization
Last synced: 20 Dec 2024
https://github.com/SoftSec-KAIST/Fuzzing-Survey
The Art, Science, and Engineering of Fuzzing: A Survey
fuzzer fuzzing genealogy-database visualization
Last synced: 16 Nov 2024
https://github.com/SoftSec-KAIST/Eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
concolic-testing fsharp fuzzer fuzzing testcase-generator
Last synced: 09 Nov 2024
https://github.com/softsec-kaist/eclipser
Grey-box Concolic Testing on Binary Code (ICSE '19)
concolic-testing fsharp fuzzer fuzzing testcase-generator
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/smartian
Smartian: Enhancing Smart Contract Fuzzing with Static and Dynamic Data-Flow Analyses (ASE '21)
fsharp fuzzer fuzzing smart-contract-testing static-analyzer
Last synced: 19 Dec 2024
https://github.com/softsec-kaist/binkit
Binary Code Similarity Analysis (BCSA) Benchmark
Last synced: 20 Dec 2024
https://github.com/softsec-kaist/tiknib
Binary Code Similarity Analysis (BCSA) Tool
binary-analysis similarity-analysis
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/ntfuzz
NTFUZZ: Enabling Type-Aware Kernel Fuzzing on Windows with Static Binary Analysis (IEEE S&P '21)
b2r2 binary-analysis fsharp fuzzer fuzzing kernel-fuzzer windows-kernel
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/meandiff
Testing Intermediate Representations for Binary Analysis (ASE '17)
binary-analysis differential-testing fsharp semantic-bugs symbolic-execution
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/ankou
Ankou: Guiding Grey-box Fuzzing towards Combinatorial Difference (ICSE '20)
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/fuzzle
Fuzzle: Making a Puzzle for Fuzzers (ASE'22)
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/reassessor
Reassembly is Hard: A Reflection on Challenges and Strategies (USENIX Security '23)
binary-analysis reassembler recompile software-testing
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/smartian-artifact
Artifacts for Smartian, a grey-box fuzzer for Ethereum smart contracts.
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/botscreen
BotScreen: Trust Everybody, but Cut the Aimbots Yourself (USENIX Security '23)
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/eclipser-artifact
Docker image for Eclipser
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/fuzzle-artifact
Artifact evaluation repository for Fuzzle
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/meandiff-lifterpyvex
Lift instruction to VEX, using PyVEX, and translate to MeanDiff's UIR
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/llm1dfuzz
Systematic Bug Reproduction with Large Language Model (SECAI'24)
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/meandiff-lifterbap
Lift instruction to BIL, using BAP, and translate to MeanDiff's UIR
Last synced: 14 Nov 2024
https://github.com/softsec-kaist/meandiff-lifterbinsec
Lift instruction to DBA, using BINSEC, and translate to MeanDiff's UIR
Last synced: 14 Nov 2024