Wasmati: An efficient static vulnerability scanner for WebAssembly-Reference-Cited by-同舟云学术

Wasmati: An efficient static vulnerability scanner for WebAssembly

Author:

Brito Tiago^ORCID,Lopes Pedro,Santos Nuno,Santos José Fragoso

Funder

Instituto Superior Técnico

FCT

Universidade de Lisboa

Publisher

Elsevier BV

Subject

Law,General Computer Science

Reference43 articles.

1. CodeQL. https://github.com/github/codeql. Accessed: 2021-02-04.

2. Joern - The Bug Hunter’s Workbench. https://github.com/joernio/joern. Accessed: 2022-03-16.a.

3. Neo4j. https://neo4j.com/. Accessed: 2021-02-04.

4. PolyBenchC: the polyhedral benchmark suite. http://web.cs.ucla.edu/~pouchet/software/polybench/. Accessed: 2021-02-04.

5. ShiftLeft. https://www.shiftleft.io/. Accessed: 2021-02-04.

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. WASMaker: Differential Testing of WebAssembly Runtimes via Semantic-Aware Binary Generation;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Multi-modal Learning for WebAssembly Reverse Engineering;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11