Logo des Repositoriums

Auflistung nach Schlagwort "Static Code Analysis"

1 - 2 von 2
  • Zeitschriftenartikel
    Efficient Fault-Tolerant Addition by Operand Width Consideration
    (FERS-Mitteilungen: Vol. 28, No. 1, 2010) Fechner, Bernhard; Keller, Jörg
    Bernhard Fechner, FernUniversit¨ at in Hagen, Dept. of Mathematics and Computer Science, 58084 Hagen, Germany J¨ org Keller, FernUniversit¨ at in Hagen, Dept. of Mathematics and Computer Science, 58084 Hagen, Germany
  • ConferencePaper
    ModGuard: Identifying Integrity & Confidentiality Violations in Java Modules
    (Software Engineering 2021, 2021) Dann, Andreas; Hermann, Ben; Bodden, Eric
    This short paper presents a static analysis for the novel challenge of analyzing Java modules. Since modules have only been recently introduced with Java 9, we point out the impact of modules both from the security and the static code analysis perspective. In particular, we introduce a static analysis that allows developers to assess if a module successfully encapsulates internal data, along with a formal definition of a module's entrypoints.