Commit 1c7a655c authored by Joachim Müssig's avatar Joachim Müssig

create newest version of false positiv examples 'excluding'

parent 5f94a7d1
directoryPath : "/home/joachim/git/KeYJoana/keyjoana/testdata/FalsePositiveExamples/excluding",
pathKeY : "dependencies/Key/KeY.jar",
javaClass : "",
pathToJar : "testdata/build/src.jar",
pathToJavaFile : "src/",
pathToSDG : "SDG/ExcludingStatements.pdg",
entryMethod : "ExcludingStatements",
annotationPath : "",
fullyAutomatic : true,
pathToSaver : "SDG/ExcludingStatements.dispro",
sources : [{securityLevel : "high", description : {from : "programPart", programPart : "parameter <param> 1 of method int ExcludingStatements.testMethod(int, int)"}}],
sinks : [{securityLevel : "low", description : {from : "programPart", programPart : "exit of method int ExcludingStatements.testMethod(int, int)"}}]
\ No newline at end of file
public class ExcludingStatements
{
public static void main ( String [ ] args )
{
new ExcludingStatements ( ) . testMethod ( 1 , 2 ) ;
}
public int testMethod ( int high , int low )
{
int l = excludingStatements ( 3 , low , high ) ;
return l ;
}
public int excludingStatements ( int x , int l , int h )
{
int z = 0 ;
if ( x == 3 )
{
z = h ;
}
if ( x != 3 )
{
l = z ;
}
z = 0 ;
return l ;
}
public static void main ( String [ ] args )
{
new ExcludingStatements ( ) . testMethod ( 1 , 2 ) ;
}
public int testMethod ( int high , int low )
{
int l = excludingStatements ( 3 , low , high ) ;
return l ;
}
public int excludingStatements ( int x , int l , int h )
{
int z = 0 ;
if ( x == 3 )
{
z = h ;
}
if ( x != 3 )
{
l = z ;
}
z = 0 ;
return l ;
}
/*@
@ requires true;
@ ensures b;
......
public class ExcludingStatements
{
public static void main ( String [ ] args )
{
new ExcludingStatements ( ) . testMethod ( 1 , 2 ) ;
}
public int testMethod ( int high , int low )
{
int l = excludingStatements ( 3 , low , high ) ;
return l ;
}
public int excludingStatements ( int x , int l , int h )
{
int z = 0 ;
if ( x == 3 )
{
z = h ;
}
if ( x != 3 )
{
l = z ;
}
z = 0 ;
return l ;
}
public static void main ( String [ ] args )
{
new ExcludingStatements ( ) . testMethod ( 1 , 2 ) ;
}
public int testMethod ( int high , int low )
{
int l = excludingStatements ( 3 , low , high ) ;
return l ;
}
public int excludingStatements ( int x , int l , int h )
{
int z = 0 ;
if ( x == 3 )
{
z = h ;
}
if ( x != 3 )
{
l = z ;
}
z = 0 ;
return l ;
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment