Pinned Repositories
corana
Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates
HybridSE
HybridSE-archive
Cross-environment Dynamic Symbolic Execution for Android APK file
MiniHaskell
Implementation of haskell interpreter
Mirai-Source-Code
Leaked Mirai Source Code for Research/IoC Development Purposes
Vtse-VerificationTool
Verification Tool using Symbolic Execution to verify some features of C/C++ programs
vananhnt's Repositories
vananhnt/HybridSE-archive
Cross-environment Dynamic Symbolic Execution for Android APK file
vananhnt/MiniHaskell
Implementation of haskell interpreter
vananhnt/Vtse-VerificationTool
Verification Tool using Symbolic Execution to verify some features of C/C++ programs
vananhnt/Mirai-Source-Code
Leaked Mirai Source Code for Research/IoC Development Purposes
vananhnt/corana
Corana is a Dynamic Symbolic Execution Engine for ARM Cortex-M aiming to incrementally reconstruct the precise Control Flow Graph (CFG) of IoT malware under the presence of obfuscation techniques e.g., indirect jumps and opaque predicates
vananhnt/HybridSE
vananhnt/jpf-core
My fork of https://github.com/javapathfinder/jpf-core
vananhnt/jpf-nhandler
vananhnt/jpf-symbc
Symbolic PathFinder
vananhnt/unstrip-binary
Function name identification for stripped binary using codeBERT