Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/PKU-ASAL/WASEM

WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries
https://github.com/PKU-ASAL/WASEM

program-analysis symbolic-execution vulnerability-detection webassembly

Last synced: about 1 month ago
JSON representation

WASEM - a general symbolic execution framework for WebAssembly (WASM) binaries

Host: GitHub
URL: https://github.com/PKU-ASAL/WASEM
Owner: PKU-ASAL
License: bsd-3-clause
Created: 2023-09-05T15:55:56.000Z (over 1 year ago)
Default Branch: main
Last Pushed: 2024-07-07T05:23:41.000Z (5 months ago)
Last Synced: 2024-08-03T01:25:16.583Z (4 months ago)
Topics: program-analysis, symbolic-execution, vulnerability-detection, webassembly
Language: WebAssembly
Homepage:
Size: 2.34 MB
Stars: 10
Watchers: 1
Forks: 3
Open Issues: 0
Metadata Files:
- Readme: README.md