m4riuz / wasm-collector

Related projects: ⓘ

• js2wasm-obfuscator / translator
  ☆27Updated 2 years ago
• sola-st / WasmBench
  A large dataset of real-world WebAssembly binaries, collected from the Web, GitHub, NPM and other sources. Useful as test data, to study …
  ☆49Updated 2 years ago
• vusec / minesweeper
  Tools used for MineSweeper project
  ☆31Updated 3 years ago
• danleh / wasabi
  A dynamic analysis framework for WebAssembly programs.
  ☆361Updated last month
• darkmacheken / wasmati
  A Generic and Efficient Code Property Graph Infrastructure forScanning Vulnerabilities in WebAssembly Code
  ☆24Updated last month
• ExpoSEJS / ExpoSE
  A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and sup…
  ☆186Updated 2 months ago
• ASSERT-KTH / slumps
  Cool code analysis research for WebAssembly
  ☆65Updated last year
• sola-st / wasm-call-graphs
  ☆13Updated last year
• Cisco-Talos / binary_function_similarity
  ☆254Updated last month
• palmtreemodel / PalmTree
  Offical Implementation for PalmTree
  ☆133Updated 7 months ago
• NSSL-SJTU / HermesSim
  Artifacts for our USENIX Security '24 paper: "Code is not Natural Language: Unlock the Power of Semantics-Oriented Graph Representation f…
  ☆31Updated this week
• PKU-ASAL / SeeWasm
  A native symbolic execution engine for WebAssembly
  ☆37Updated 2 months ago
• Aurore54F / JStap
  Modular static malicious JavaScript detection system
  ☆61Updated 3 years ago
• secure-foundations / provably-safe-sandboxing-wasm-usenix22
  Top-level companion software artifact for the paper "Provably-Safe Multilingual Software Sandboxing using WebAssembly"
  ☆37Updated 2 years ago
• kaist-ina / Extractocol
  ☆13Updated 3 years ago
• hzysvilla / Academic_LLM_Sec_Papers
  Academic Papers about LLM Application on Security
  ☆94Updated 3 months ago
• githubnext / amalfi-artifact
  Artifact accompanying our ICSE '22 paper "Practical Automated Detection of Malicious npm Packages"
  ☆35Updated 2 years ago
• vul337 / jTrans
  Official code of jTrans: Jump-Aware Transformer for Binary Code Similarity Detection
  ☆138Updated 8 months ago
• osssanitizer / maloss
  Towards Measuring Supply Chain Attacks on Package Managers for Interpreted Languages
  ☆115Updated last year
• Icegrave0391 / Palantir
  PalanTír: Optimizing Attack Provenance with Hardware-enhanced System Observability, ACM CCS'22
  ☆16Updated last year
• security-pride / BREWasm
  BREWasm: A general purpose static binary rewriting framework for Wasm.
  ☆18Updated last month
• gongbell / WANA
  A Symbolic Execution Engine for Wasm Bytecode and A Cross-Platform Smart Contract Vulnerability Detector
  ☆27Updated last year
• StanPlatinum / Deflection
  Derived from CAT-SGX and elf-respect: Practical and Efficient in-Enclave Verification of Privacy Compliance
  ☆41Updated 2 years ago
• SystemSecurityStorm / Awesome-Binary-Similarity
  An awesome & curated list of binary code similarity papers
  ☆497Updated last month
• NWU-NISL-Fuzzing / COMFORT
  ☆68Updated 2 years ago
• RiS3-Lab / FICS
  ☆50Updated 3 years ago
• WebAssembly / testsuite
  Mirror of the spec testsuite
  ☆191Updated 2 weeks ago
• HexHive / pubstats
  ☆25Updated 2 weeks ago
• wcphkust / LLM-PLSE-paper
  ☆96Updated last week
• XMUsuny / symbolic-execution-papers
  Recent symbolic execution papers and tools.
  ☆133Updated this week