Computer science/Programming languages/Static analysis

Subject Classification

ACM: Software and its engineering~Automated static analysis

2024

Extension of Stateful Intransitive Noninterference with Inputs, Outputs, and Nondeterminism in Language IMP

by Pasquale Noce

Sep 02

Information Flow Control via Stateful Intransitive Noninterference in Language IMP

by Pasquale Noce

Feb 12

2021

A data flow analysis algorithm for computing dominators

by Nan Jiang

Sep 05

2016

Abstract Interpretation of Annotated Commands

by Tobias Nipkow

Nov 23

Infeasible Paths Elimination by Symbolic Execution Techniques: Proof of Correctness and Preservation of Paths

by Romain Aissat, Frederic Voisin and Burkhart Wolff

Aug 18

2015

The Safety of Call Arity

by Joachim Breitner

Feb 20

2011

RIPEMD-160

by Fabian Immler

Jan 10

2010

Shivers' Control Flow Analysis

by Joachim Breitner

Nov 16

2009

Backing up Slicing: Verifying the Interprocedural Two-Phase Horwitz-Reps-Binkley Slicer

by Daniel Wasserrab

Nov 13

2008

Towards Certified Slicing

by Daniel Wasserrab

Sep 16

2007

Formalization of Conflict Analysis of Programs with Procedures, Thread Creation, and Monitors

by Peter Lammich and Markus Müller-Olm

Dec 14