Skip to content
master
Switch branches/tags
Code

Latest commit

 

Git stats

Files

Permalink
Failed to load latest commit information.
Type
Name
Latest commit message
Commit time
 
 
doc
 
 
 
 
lib
 
 
src
 
 
 
 
 
 
 
 
 
 
 
 

saga

SAGA is a run-time verifier for both single- and multi-threaded Java programs. During execution of a Java program, SAGA intercepts method calls and method returns (``events''). SAGA then checks whether the trace of calls and returns conforms to a specification, given by the user.

The main distinguishing featuring of SAGA compared to other run-time checkers is that SAGA allows combining protocol-oriented properties and data-oriented properties in a single formalism. In particular, Attribute Grammars extended with assertions are used as specifications. The underlying context-free grammar determines the order in which events should occur, in other words: the context-free grammar specifies the desired control-flow of a Java program. Attributes define properties of the data-flow of the program, and assertions over these attributes specify the desired values of the attributes.

For detailed instructions, please see doc/manual.pdf.

About

A run-time verifier for Java programs

Resources

Releases

No releases published

Packages

No packages published

Contributors 4

  •  
  •  
  •  
  •