Cited By
View all- Negrini LFerrara PArceri VCortesi A(2023)LiSA: A Generic Framework for Multilanguage Static AnalysisChallenges of Software Verification10.1007/978-981-19-9601-6_2(19-42)Online publication date: 22-Jul-2023
- Ferrara PCortesi ASpoto F(2020)From CIL to Java bytecode: Semantics-based translation for static analysis leveragingScience of Computer Programming10.1016/j.scico.2020.102392(102392)Online publication date: Jan-2020
- Ferrara PNegrini L(2020)SARL: OO Framework Specification for Static AnalysisSoftware Verification10.1007/978-3-030-63618-0_1(3-20)Online publication date: 6-Dec-2020