The Julia Static Analyzer for Java

The Julia static analyzer applies abstract interpretation to the analysis and verification of Java bytecode. It is the result of 13 years of engineering effort based on theoretical research on denotational and constraint-based static analysis through abstract interpretation. Julia is a library for s...

Full description

Saved in:
Bibliographic Details
Published inStatic Analysis pp. 39 - 57
Main Author Spoto, Fausto
Format Book Chapter
LanguageEnglish
Published Berlin, Heidelberg Springer Berlin Heidelberg
SeriesLecture Notes in Computer Science
Subjects
Abstract Domain
Abstract Interpretation
False Alarm
Fixpoint Computation
Injection Attack
Online AccessGet full text

Cover

More Information
Summary:The Julia static analyzer applies abstract interpretation to the analysis and verification of Java bytecode. It is the result of 13 years of engineering effort based on theoretical research on denotational and constraint-based static analysis through abstract interpretation. Julia is a library for static analysis, over which many checkers have been built, that verify the absence of a large set of typical errors of software: among them are null-pointer accesses, non-termination, wrong synchronization and injection threats to security. This article recaps the history of Julia, describes the technology under the hood of the tool, reports lessons learned from the market, current limitations and future work.
ISBN:3662534126
9783662534120
ISSN:0302-9743
1611-3349
DOI:10.1007/978-3-662-53413-7_3