search result

Cover von Java Bytecode Normalization for Code Similarity Analysis

Java Bytecode Normalization for Code Similarity Analysis

Year: 2024
Media group: LIPIcs
Cover von Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

Scaling Interprocedural Static Data-Flow Analysis to Large C/C++ Applications

An Experience Report
Year: 2024
Media group: LIPIcs
Cover von Dealing with Variability in API Misuse Specification

Dealing with Variability in API Misuse Specification

Year: 2021
Media group: LIPIcs
Cover von CrySL

CrySL

An Extensible Approach to Validating the Correct Usage of Cryptographic APIs
Year: 2018
Media group: LIPIcs
Cover von Boomerang

Boomerang

Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
Year: 2016
Media group: LIPIcs
Cover von Software Engineering und Software Management 2018
Tagung vom 5. - 9. März 2018 in Ulm
Search for this author
Year: 2018
Publisher: Bonn, Gesellschaft für Informatik e.V.
Series: Lecture notes in informatics / P; 279
Media group: MONOGRAPHIE
OPEN V 11.1.0.0