Skip to main content

JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution)

Vincenzo Arceri, Luca Negrini, Giacomo Zanatta, Filippo Bianchi, Teodors Lisovenko, Luca Olivieri, Pietro Ferrara

PDF DOI 10.1007/978-3-032-22749-2_30 dblp BibTeX

No abstract available.

Related papers

Gazer-Theta: LLVM-based Verifier Portfolio with BMC/CEGAR (Competition Contribution) TACAS 2021
Two Approaches to Fast Bytecode Frontend for Static Analysis OOPSLA 2025
SVF-SVC: Software Verification Using SVF (Competition Contribution) TACAS 2025
JDart: Dynamic Symbolic Execution for Java Bytecode (Competition Contribution) TACAS 2020
JBMC: Bounded Model Checking for Java Bytecode - (Competition Contribution) TACAS 2019
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution) TACAS 2024
JayHorn: A Java Model Checker - (Competition Contribution) TACAS 2019
COASTAL: Combining Concolic and Fuzzing for Java (Competition Contribution) TACAS 2020