software . 2019

Implementation of the Combined Approach

Beckert, Bernhard; Bischof, Simon; Herda, Mihai; Kirsten, Michael; Büning, Marko Kleine; Klein, Holger; Müssig, Joachim;
Open Access
  • Published: 03 Aug 2019
  • Publisher: Zenodo
Abstract
<p>This data set contains the implementation of the Combined Approach -- a tool which combines the theorem prover KeY with the static analysis tool JOANA.</p> <p>In the folder &quot;build&quot; there are two jar files.</p> <p>- CombinedApproach.jar is the main application that combines KeY and Joana. It works by loading a .joak file which contains the paths to the source code, compiled jar, to KeY and some others which are not always needed. The .joak file also contains the annotation of the high sources and low sinks of the program. With CombinedApproach.jar the user can analyze some summary edges in the SDG with KeY and show that there is no real dependency be...
Subjects
free text keywords: Noninterference, Formal Methods, Static Analysis, Deductive Theorem Proving, Information Flow
Download fromView all 3 versions
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Datacite
Zenodo
Software . 2019
Provider: Zenodo
Powered by OpenAIRE Open Research Graph
Any information missing or wrong?Report an Issue
software . 2019

Implementation of the Combined Approach

Beckert, Bernhard; Bischof, Simon; Herda, Mihai; Kirsten, Michael; Büning, Marko Kleine; Klein, Holger; Müssig, Joachim;