soot-oss / heros Goto Github PK

View Code? Open in Web Editor NEW

223.0 223.0 86.0 7.71 MB

IFDS/IDE Solver for Soot and other frameworks

License: GNU Lesser General Public License v2.1

Java 100.00%

heros's People

Contributors

Stargazers

Watchers

Forkers

malaverdiere forschnix stevenarzt narayana1208 jsntcx eeeeddddy soundmonster hanshsieh dacongy zeineb titze rockflying daz0 marcmil flankerhqd tamerplatform jgarci40 secure-software-engineering jtoman kcobra stg-tud kengotoda kaunder winsun shichengjie netpainter florian-kuebler leon---lee petablox majestyhao pass518224 sloanyang mstart renatoalexmp slallum bedatadriven krishna-shree rongqinglee agorski3 sigma-random mbenz89 tigerqiu712 michaelmior tim-hoffman zjbthomas bsshashank kshitijgorde akhilcacharya hao-fu linghuiluo miguelvelezmj25 wangxiz machiry shiftre zackc empty11 engmux bushraaloraini young36832 mkotyk lczgywzyy jh459100806 michael-emmi ai4dev lsinzker chapering chao-peng marvinmw c0de3 tangkid happinessyeah jadyhill phoenix97 youngleetamusa omarmahamid raintung crackercat wh1t3p1g denis-fokin yijiangtian zhu1971

heros's Issues

Automatically return All-bottom edge function for seeds

It seems that in IDE we always want to return the all-bottom edge function at initial seeds, if the input is zero. This should be added as a default to discourage mistakes on the side of the client analysis.

Type mismatch error when running example code

When running the example code provided in the wiki, I get this error:

Type mismatch: cannot convert from IFDSReachingDefinitions to IFDSTabulationProblem<Unit,Pair<Value,Set>,SootMethod,InterproceduralCFG<Unit,SootMethod>>

It seems the issue comes from this statement:

IFDSTabulationProblem<Unit, Pair<Value, 
	                Set<DefinitionStmt>>, SootMethod, 
	                InterproceduralCFG<Unit, SootMethod>> problem = new IFDSReachingDefinitions(icfg);

What should I do?

AllTop.meetWith(otherFunction) should return AllTop

Looks like a leftover from 8e59e82.

A dual change would be required in AllBottom, and the solver has to be modified to make the default JumpFns AllBottom instead of AllTop.

IDESolver never uses more than 1 thread

According to the documentation of ThreadPoolExecutor (the superclass of CountingThreadPoolExecutor):

Using an unbounded queue (for example a LinkedBlockingQueue without a predefined capacity) will cause new tasks to wait in the queue when all corePoolSize threads are busy. Thus, no more than corePoolSize threads will ever be created. (And the value of the maximumPoolSize therefore doesn't have any effect.)

Thus, the executor in IDESolver initialized as below will never start more than 1 thread.

new CountingThreadPoolExecutor(1, this.numThreads, 30, TimeUnit.SECONDS, new LinkedBlockingQueue<Runnable>());

Errors in heros like semicolon missing, return type of method is missing

I have imported heros in eclipse. The following errors are displayed.
Description Resource Path Location Type
assert cannot be resolved to a type JumpFunctions.java /heros/src/heros/solver line 117 Java Problem
Duplicate local variable sourceVal JumpFunctions.java /heros/src/heros/solver line 117 Java Problem
Syntax error on token "!=", = expected JumpFunctions.java /heros/src/heros/solver line 117 Java Problem
The left-hand side of an assignment must be a variable JumpFunctions.java /heros/src/heros/solver line 118 Java Problem
Syntax error on token "assert", ( expected JumpFunctions.java /heros/src/heros/solver line 118 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 94 Java Problem
Syntax error on token ";", [ expected JumpFunctions.java /heros/src/heros/solver line 118 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 89 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 119 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 119 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, insert "]" to complete ArrayAccess JumpFunctions.java /heros/src/heros/solver line 119 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 119 Java Problem
res cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 120 Java Problem
res cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 121 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 128 Java Problem
Syntax error on token "assert", ( expected JumpFunctions.java /heros/src/heros/solver line 129 Java Problem
The left-hand side of an assignment must be a variable JumpFunctions.java /heros/src/heros/solver line 129 Java Problem
Syntax error on token ";", [ expected JumpFunctions.java /heros/src/heros/solver line 129 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 130 Java Problem
Syntax error on token ",", ( expected JumpFunctions.java /heros/src/heros/solver line 130 Java Problem
Syntax error on token "=", != expected JumpFunctions.java /heros/src/heros/solver line 130 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 130 Java Problem
Syntax error on token "return", [ expected JumpFunctions.java /heros/src/heros/solver line 131 Java Problem
Syntax error on token ";", [ expected JumpFunctions.java /heros/src/heros/solver line 131 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 132 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 132 Java Problem
Syntax error, insert "]" to complete ArrayAccess JumpFunctions.java /heros/src/heros/solver line 132 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 148 Java Problem
Syntax error on token "=", != expected JumpFunctions.java /heros/src/heros/solver line 83 Java Problem
Syntax error, insert "}" to complete MethodBody CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 83 Java Problem
Syntax error, insert ";" to complete LocalVariableDeclarationStatement CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on token ";", , expected CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 85 Java Problem
Syntax error, insert "}" to complete ClassBody CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 85 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 63 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 85 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 63 Java Problem
assert cannot be resolved to a type CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 86 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on CallEdge.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error on token ";", invalid AssignmentOperator JumpFunctions.java /heros/src/heros/solver line 88 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error on tokens, delete these tokens CallEdge.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error on token ",", ( expected JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error, insert ")" to complete Expression CallEdge.java /heros/src/heros/fieldsens line 68 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 68 Java Problem
Syntax error, insert ")" to complete MethodInvocation JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error on tokens, delete these tokens CallEdge.java /heros/src/heros/fieldsens line 66 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 66 Java Problem
table cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 91 Java Problem
Syntax error on tokens, delete these tokens CallEdge.java /heros/src/heros/fieldsens line 66 Java Problem
table cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 92 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 66 Java Problem
table cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 52 Java Problem
Syntax error on tokens, InterfaceHeader expected instead CallEdge.java /heros/src/heros/fieldsens line 83 Java Problem
table cannot be resolved JumpFunctions.java /heros/src/heros/solver line 95 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 49 Java Problem
Syntax error on token(s), misplaced construct(s) CallEdge.java /heros/src/heros/fieldsens line 83 Java Problem
callerAnalyzer cannot be resolved to a type CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 103 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 48 Java Problem
assert cannot be resolved to a type JumpFunctions.java /heros/src/heros/solver line 104 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 40 Java Problem
Syntax error on tokens, ( expected instead CallEdge.java /heros/src/heros/fieldsens line 83 Java Problem
Duplicate local variable target JumpFunctions.java /heros/src/heros/solver line 104 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 75 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 75 Java Problem
Syntax error on token "!=", = expected JumpFunctions.java /heros/src/heros/solver line 104 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 61 Java Problem
Syntax error on token "assert", ( expected JumpFunctions.java /heros/src/heros/solver line 105 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 82 Java Problem
The left-hand side of an assignment must be a variable JumpFunctions.java /heros/src/heros/solver line 105 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 56 Java Problem
Syntax error on tokens, delete these tokens CallEdge.java /heros/src/heros/fieldsens line 80 Java Problem
Syntax error on token ";", [ expected JumpFunctions.java /heros/src/heros/solver line 105 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 18 Java Problem
Syntax error, insert ")" to complete Expression CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 106 Java Problem
Syntax error, insert ")" to complete MethodInvocation CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 106 Java Problem
Syntax error, insert ";" to complete Statement CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, insert ")" to complete Expression JumpFunctions.java /heros/src/heros/solver line 106 Java Problem
Syntax error, insert "AssignmentOperator Expression" to complete Assignment CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, insert "]" to complete ArrayAccess JumpFunctions.java /heros/src/heros/solver line 106 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 36 Java Problem
Syntax error on token ".", ; expected CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
res cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 107 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 28 Java Problem
Syntax error on token "getCallEdgeResolver", Identifier expected after this token CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
res cannot be resolved to a variable JumpFunctions.java /heros/src/heros/solver line 108 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 23 Java Problem
Syntax error on token ">", ( expected CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 116 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFactAtStatement.java /heros/src/heros/fieldsens/structs line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 20 Java Problem
The annotation @DontSynchronize is disallowed for this location JumpFunctions.java /heros/src/heros/solver line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 67 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 28 Java Problem
assert cannot be resolved to a type JumpFunctions.java /heros/src/heros/solver line 68 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 24 Java Problem
Duplicate local variable sourceVal JumpFunctions.java /heros/src/heros/solver line 68 Java Problem
The import heros.fieldsens.AccessPath.PrefixTestResult cannot be resolved CallEdge.java /heros/src/heros/fieldsens line 14 Java Problem
No required execution environment has been set MANIFEST.MF /heros/META-INF line 1 Plug-in Problem
Syntax error on token "!=", = expected JumpFunctions.java /heros/src/heros/solver line 68 Java Problem
assert cannot be resolved to a type JumpFunctions.java /heros/src/heros/solver line 69 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 21 Java Problem
Duplicate local variable target JumpFunctions.java /heros/src/heros/solver line 69 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error on token "!=", = expected JumpFunctions.java /heros/src/heros/solver line 69 Java Problem
assert cannot be resolved to a type JumpFunctions.java /heros/src/heros/solver line 70 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 18 Java Problem
Duplicate local variable targetVal JumpFunctions.java /heros/src/heros/solver line 70 Java Problem
Syntax error on token "!=", = expected JumpFunctions.java /heros/src/heros/solver line 70 Java Problem
The left-hand side of an assignment must be a variable JumpFunctions.java /heros/src/heros/solver line 71 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 33 Java Problem
Syntax error on token "assert", ( expected JumpFunctions.java /heros/src/heros/solver line 71 Java Problem
Type mismatch: cannot convert from element type Object to CallEdge<Field,Fact,Stmt,Method> CallEdgeResolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 71 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 74 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 76 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 76 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error on token "=", != expected JumpFunctions.java /heros/src/heros/solver line 76 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 76 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 78 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 78 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 62 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 78 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 62 Java Problem
Syntax error on tokens, delete these tokens JumpFunctions.java /heros/src/heros/solver line 79 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error on token ";", invalid AssignmentOperator JumpFunctions.java /heros/src/heros/solver line 81 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error on token ",", . expected JumpFunctions.java /heros/src/heros/solver line 83 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CallEdgeResolver.java /heros/src/heros/fieldsens line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CallEdge.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 35 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 36 Java Problem
The annotation @SynchronizedBy is disallowed for this location JumpFunctions.java /heros/src/heros/solver line 41 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 42 Java Problem
The annotation @SynchronizedBy is disallowed for this location JumpFunctions.java /heros/src/heros/solver line 47 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 48 Java Problem
The annotation @SynchronizedBy is disallowed for this location JumpFunctions.java /heros/src/heros/solver line 53 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JumpFunctions.java /heros/src/heros/solver line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 51 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 55 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 56 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 61 Java Problem
The method singleton(D) is undefined for the type Identity Identity.java /heros/src/heros/flowfunc line 28 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 31 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 32 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 20 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 27 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 30 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Identity.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 31 Java Problem
The import java.util.Collections.singleton cannot be resolved Identity.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 48 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIDETabulationProblem.java /heros/src/heros/template line 50 Java Problem
The import com.google.common.collect.Sets.newHashSet cannot be resolved Union.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 33 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 36 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 32 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 28 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 24 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 24 Java Problem
The method newHashSet() is undefined for the type Union Union.java /heros/src/heros/flowfunc line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 28 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 41 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 34 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 41 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 41 Java Problem
Type mismatch: cannot convert from Identity to FlowFunction Union.java /heros/src/heros/flowfunc line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 43 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Union.java /heros/src/heros/flowfunc line 42 Java Problem
The constructor Union(T[]) is undefined Union.java /heros/src/heros/flowfunc line 50 Java Problem
The project cannot be built until build path errors are resolved soot Unknown Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 52 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 54 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 65 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 59 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 74 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 73 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 94 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 99 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 98 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroHandler.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 13 Java Problem
Internal compiler error: java.lang.NullPointerException TestHelper.java /heros/test/heros/utilities line 0 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 154 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 149 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 163 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 156 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 166 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 165 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 178 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 173 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 180 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 179 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 188 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 181 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 190 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 189 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 198 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 191 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 106 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 108 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 107 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 114 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 114 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 118 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 118 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 124 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 123 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 130 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 129 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 141 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 131 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 144 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 142 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 63 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 65 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 65 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 75 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 34 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 30 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 62 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater EdgeIdentity.java /heros/src/heros/edgefunc line 21 Java Problem
The method appendExcludedFieldReference(Collection) in the type AccessPath is not applicable for the arguments (Field) AccessPathHandler.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 91 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 92 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 78 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 79 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 82 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 82 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPathHandler.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 31 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 23 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 13 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 26 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 63 Java Problem
The import heros.solver.IFDSSolver.BinaryDomain cannot be resolved IFDSSolver.java /heros/src/heros/solver line 13 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 68 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 14 Java Problem
The import heros.solver.IFDSSolver.BinaryDomain cannot be resolved IFDSSolver.java /heros/src/heros/solver line 14 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 41 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 58 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 42 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 78 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 44 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 73 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 50 Java Problem
Name clash: The method putAll(Map<? extends K,? extends V>) of type DefaultValueMap<K,V> has the same erasure as putAll(Map) of type Map<K,V> but does not override it DefaultValueMap.java /heros/src/heros/utilities line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 88 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 89 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 28 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 36 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ProfiledFlowFunctions.java /heros/src/heros line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 20 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 59 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 247 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 246 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 256 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 67 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 255 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 75 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 75 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 288 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 75 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 287 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 289 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 79 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 79 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 289 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 301 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 55 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 294 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 55 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 55 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 314 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 308 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 337 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 336 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 57 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 340 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 339 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 59 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 203 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 199 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 205 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 204 Java Problem
BOTTOM cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 210 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 51 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 206 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 223 Java Problem
The method createIDETabulationProblem(IFDSTabulationProblem<N,D,M,I>) from the type IFDSSolver<N,D,M,I> refers to the missing type BinaryDomain IFDSSolver.java /heros/src/heros/solver line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 218 Java Problem
Syntax error on tokens, EnumHeader expected instead IFDSSolver.java /heros/src/heros/solver line 55 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 228 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 41 Java Problem
IFDSSolver.BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 224 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 230 Java Problem
'enum' should not be used as an identifier, since it is a reserved keyword from source level 1.5 on IFDSSolver.java /heros/src/heros/solver line 43 Java Problem
enum cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 229 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 236 Java Problem
Syntax error on token "{", ; expected IFDSSolver.java /heros/src/heros/solver line 43 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 231 Java Problem
Syntax error on token "~", ReferenceType expected IFDSSolver.java /heros/src/heros/solver line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 245 Java Problem
Syntax error, insert ";" to complete BlockStatements IFDSSolver.java /heros/src/heros/solver line 43 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 244 Java Problem
Syntax error on tokens, EnumHeader expected instead IFDSSolver.java /heros/src/heros/solver line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 402 Java Problem
TOP cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 102 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 401 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 105 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 105 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 110 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 110 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 115 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 115 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 120 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 100 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 100 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 101 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 102 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 102 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 102 Java Problem
enum cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 87 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 351 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 90 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 341 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 90 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 353 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 352 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 362 Java Problem
TOP cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 361 Java Problem
TOP cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 371 Java Problem
TOP cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 92 Java Problem
BOTTOM cannot be resolved to a variable IFDSSolver.java /heros/src/heros/solver line 94 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 363 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 79 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 373 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 372 Java Problem
The type new JoinLattice(){} must implement the inherited abstract method JoinLattice.join(BinaryDomain, BinaryDomain) IFDSSolver.java /heros/src/heros/solver line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 382 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 381 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 80 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 384 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 82 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 383 Java Problem
enum cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 385 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 86 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater TestHelper.java /heros/test/heros/utilities line 385 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 142 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 142 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 142 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 143 Java Problem
Syntax error on tokens, delete these tokens IFDSSolver.java /heros/src/heros/solver line 154 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 154 Java Problem
The method resultsAt(N) is undefined for the type IFDSSolver<N,D,M,I> IFDSSolver.java /heros/src/heros/solver line 155 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 132 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 132 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 132 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 133 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 137 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 137 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 137 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 138 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 120 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 125 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 125 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 125 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 127 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSSolver.java /heros/src/heros/solver line 127 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 127 Java Problem
BinaryDomain cannot be resolved to a type IFDSSolver.java /heros/src/heros/solver line 128 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FactMergeHandler.java /heros/src/heros/fieldsens line 13 Java Problem
The import java.util.Collections.emptySet cannot be resolved Kill.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Kill.java /heros/src/heros/flowfunc line 14 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Kill.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Kill.java /heros/src/heros/flowfunc line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Kill.java /heros/src/heros/flowfunc line 35 Java Problem
The import java.util.Collections.singleton cannot be resolved Kill.java /heros/src/heros/flowfunc line 14 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Kill.java /heros/src/heros/flowfunc line 27 Java Problem
The method emptySet() is undefined for the type Kill Kill.java /heros/src/heros/flowfunc line 37 Java Problem
The method singleton(D) is undefined for the type Kill Kill.java /heros/src/heros/flowfunc line 39 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater JoinLattice.java /heros/src/heros line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 56 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 54 Java Problem
The import heros.solver.IFDSSolver.BinaryDomain cannot be resolved BiDiIFDSSolver.java /heros/src/heros/solver line 18 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 39 Java Problem
The return type is incompatible with ResolverTemplate<Field,Fact,Stmt,Method,CallEdge<Field,Fact,Stmt,Method>>.getOrCreateNestedResolver(AccessPath) ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 43 Java Problem
BinaryDomain cannot be resolved to a type BiDiIFDSSolver.java /heros/src/heros/solver line 63 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 62 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 35 Java Problem
The method createIDETabulationProblem(IFDSTabulationProblem<N,D,M,I>) from the type IFDSSolver refers to the missing type BinaryDomain BiDiIFDSSolver.java /heros/src/heros/solver line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 31 Java Problem
The method createIDETabulationProblem(IFDSTabulationProblem<N,D,M,I>) from the type IFDSSolver refers to the missing type BinaryDomain BiDiIFDSSolver.java /heros/src/heros/solver line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 58 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 47 Java Problem
BinaryDomain cannot be resolved to a type BiDiIFDSSolver.java /heros/src/heros/solver line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 17 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 72 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 71 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 71 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 17 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 15 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIFDSSolver.java /heros/src/heros/solver line 70 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ZeroCallEdgeResolver.java /heros/src/heros/fieldsens line 15 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 19 Java Problem
BinaryDomain cannot be resolved to a type BiDiIFDSSolver.java /heros/src/heros/solver line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ZeroedFlowFunctions.java /heros/src/heros line 17 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzer.java /heros/src/heros/fieldsens line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzer.java /heros/src/heros/fieldsens line 17 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater MethodAnalyzer.java /heros/src/heros/fieldsens line 15 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultValueMap.java /heros/src/heros/utilities line 94 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater LinkedNode.java /heros/src/heros/solver line 20 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater LinkedNode.java /heros/src/heros/solver line 19 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 76 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 63 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 117 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 110 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 110 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 107 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 105 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 105 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 98 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 36 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on WrappedFact.java /heros/src/heros/fieldsens/structs line 28 Java Problem
assert cannot be resolved to a type WrappedFact.java /heros/src/heros/fieldsens/structs line 28 Java Problem
Duplicate local variable resolver WrappedFact.java /heros/src/heros/fieldsens/structs line 28 Java Problem
Syntax error on token "!=", = expected WrappedFact.java /heros/src/heros/fieldsens/structs line 28 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on WrappedFact.java /heros/src/heros/fieldsens/structs line 27 Java Problem
assert cannot be resolved to a type WrappedFact.java /heros/src/heros/fieldsens/structs line 27 Java Problem
Duplicate local variable accessPath WrappedFact.java /heros/src/heros/fieldsens/structs line 27 Java Problem
Syntax error on token "!=", = expected WrappedFact.java /heros/src/heros/fieldsens/structs line 27 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on WrappedFact.java /heros/src/heros/fieldsens/structs line 26 Java Problem
assert cannot be resolved to a type WrappedFact.java /heros/src/heros/fieldsens/structs line 26 Java Problem
Duplicate local variable fact WrappedFact.java /heros/src/heros/fieldsens/structs line 26 Java Problem
Syntax error on token "!=", = expected WrappedFact.java /heros/src/heros/fieldsens/structs line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 25 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 202 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 201 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 184 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 153 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 152 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 135 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 127 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 122 Java Problem
The method appendExcludedFieldReference(Collection) in the type AccessPath is not applicable for the arguments (FieldRef) FlowFunction.java /heros/src/heros/fieldsens line 119 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 176 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 171 Java Problem
The method append(FieldRef[]) in the type AccessPath is not applicable for the arguments (FieldRef) FlowFunction.java /heros/src/heros/fieldsens line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 167 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 167 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 166 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 158 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunction.java /heros/src/heros/fieldsens line 158 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 34 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 37 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 38 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 45 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 46 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 47 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 48 Java Problem
Type mismatch: cannot convert from Identity to FlowFunction Compose.java /heros/src/heros/flowfunc line 54 Java Problem
The constructor Compose(T[]) is undefined Compose.java /heros/src/heros/flowfunc line 55 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Compose.java /heros/src/heros/flowfunc line 27 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
The type new DefaultValueMap<FactAtStatement<Fact,Stmt>,ReturnSiteResolver<Field,Fact,Stmt,Method>>(){} must implement the inherited abstract method Map<FactAtStatement<Fact,Stmt>,ReturnSiteResolver<Field,Fact,Stmt,Method>>.putAll(Map) PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 47 Java Problem
The type new DefaultValueMap<FactAtStatement<Fact,Stmt>,ControlFlowJoinResolver<Field,Fact,Stmt,Method>>(){} must implement the inherited abstract method Map<FactAtStatement<Fact,Stmt>,ControlFlowJoinResolver<Field,Fact,Stmt,Method>>.putAll(Map) PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 41 Java Problem
The import heros.fieldsens.AccessPath.PrefixTestResult cannot be resolved PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 14 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 35 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FactAtStatement.java /heros/src/heros/fieldsens/structs line 23 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FactAtStatement.java /heros/src/heros/fieldsens/structs line 13 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FactAtStatement.java /heros/src/heros/fieldsens/structs line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 31 Java Problem
IFDSSolver.BinaryDomain cannot be resolved to a type PathTrackingIFDSSolver.java /heros/src/heros/solver line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 46 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 40 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 73 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 83 Java Problem
The hierarchy of the type PathTrackingIFDSSolver is inconsistent PathTrackingIFDSSolver.java /heros/src/heros/solver line 31 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 31 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathTrackingIFDSSolver.java /heros/src/heros/solver line 30 Java Problem
TODO handle constraint PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 279 Java Task
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 292 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 291 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 299 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 298 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 62 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 285 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 72 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 273 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 99 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 291 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 286 Java Problem
TODO keep resolver? WrappedFact.java /heros/src/heros/fieldsens/structs line 40 Java Task
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 47 Java Problem
TODO handle constraint PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 145 Java Task
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 339 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 51 Java Problem
TODO handle constraint PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 200 Java Task
Syntax error, annotations are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 54 Java Problem
TODO handle constraint PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 170 Java Task
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 312 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 310 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 40 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 333 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater WrappedFact.java /heros/src/heros/fieldsens/structs line 43 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 317 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 185 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 195 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 194 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 166 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 165 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 167 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 264 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 241 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 272 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 272 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 218 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 206 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 240 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 233 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 141 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 140 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 143 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 142 Java Problem
The method trace(String, Object, Object) in the type Logger is not applicable for the arguments (String, Method, Fact, AccessPath) PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 131 Java Problem
icfg cannot be resolved PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 134 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 155 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 147 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 164 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 163 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 144 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 143 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 146 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 144 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 100 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 82 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 87 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 86 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 117 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 113 Java Problem
Syntax error on token ".", ; expected PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 118 Java Problem
assert cannot be resolved to a type PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 111 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 108 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 112 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 111 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 56 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 82 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater IFDSTabulationProblem.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSTabulationProblem.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSTabulationProblem.java /heros/src/heros/fieldsens line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IFDSTabulationProblem.java /heros/src/heros/fieldsens line 68 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater PerAccessPathMethodAnalyzer.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 28 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 16 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllBottom.java /heros/src/heros/edgefunc line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunctions.java /heros/src/heros/fieldsens line 101 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunctions.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunctions.java /heros/src/heros/fieldsens line 81 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FlowFunctions.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FlowFunctions.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 148 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 155 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 165 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 165 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 165 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 174 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 216 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 272 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 313 Java Problem
Project 'soot' is missing required Java project: 'jasmin' soot Build path Build Path Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 320 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 395 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 396 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 409 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 410 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 423 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 425 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 512 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 528 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 531 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 549 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 550 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 550 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 559 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 564 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 584 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 585 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 601 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 604 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 634 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 683 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 686 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 701 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 109 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 110 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 112 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 112 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 113 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 115 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 115 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 116 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 118 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 118 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 119 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 121 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 121 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 124 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 124 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 127 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 127 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ZeroHandler.java /heros/src/heros/fieldsens line 14 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 130 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 130 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 133 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 133 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 136 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 136 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 139 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 139 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 140 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 142 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 142 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 143 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 145 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 145 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 148 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 703 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 747 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 747 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 755 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 761 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 773 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 811 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 849 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 851 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 872 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 874 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 60 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 67 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 41 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater TwoElementSet.java /heros/src/heros line 38 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 68 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 70 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 79 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 79 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 82 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 82 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 83 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 85 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 85 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 90 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 95 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 95 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 96 Java Problem
The annotation @SynchronizedBy is disallowed for this location IDESolver.java /heros/src/heros/solver line 100 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 100 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 101 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 103 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 103 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 104 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 106 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 106 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater IDESolver.java /heros/src/heros/solver line 107 Java Problem
The annotation @DontSynchronize is disallowed for this location IDESolver.java /heros/src/heros/solver line 109 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 49 Java Problem
Type mismatch: cannot convert from element type Object to InterestCallback<Field,Fact,Stmt,Method> Resolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 58 Java Problem
Type mismatch: cannot convert from element type Object to InterestCallback<Field,Fact,Stmt,Method> Resolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater CountingThreadPoolExecutor.java /heros/src/heros/solver line 37 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountingThreadPoolExecutor.java /heros/src/heros/solver line 60 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountingThreadPoolExecutor.java /heros/src/heros/solver line 47 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountingThreadPoolExecutor.java /heros/src/heros/solver line 40 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Resolver.java /heros/src/heros/fieldsens line 21 Java Problem
Type mismatch: cannot convert from element type Object to Resolver<Field,Fact,Stmt,Method> Resolver.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, annotation declarations are only available if source level is 1.5 or greater ThreadSafe.java /heros/src/heros line 16 Java Problem
Syntax error on token ";", instanceof expected ReturnSiteResolver.java /heros/src/heros/fieldsens line 103 Java Problem
Syntax error on tokens, delete these tokens ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error on token "assert", ( expected after this token ReturnSiteResolver.java /heros/src/heros/fieldsens line 103 Java Problem
Syntax error on tokens, ( expected instead ReturnSiteResolver.java /heros/src/heros/fieldsens line 103 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 102 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on ReturnSiteResolver.java /heros/src/heros/fieldsens line 103 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 88 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 97 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 106 Java Problem
Syntax error on tokens, delete these tokens ReturnSiteResolver.java /heros/src/heros/fieldsens line 107 Java Problem
Syntax error on token ",", ( expected ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error on token(s), misplaced construct(s) ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error on tokens, delete these tokens ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error on token ">", >= expected ReturnSiteResolver.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error on token ")", delete this token ReturnSiteResolver.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, insert "AssignmentOperator Expression" to complete Expression ReturnSiteResolver.java /heros/src/heros/fieldsens line 110 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 69 Java Problem
Syntax error on token "{", . expected ReturnSiteResolver.java /heros/src/heros/fieldsens line 108 Java Problem
Syntax error on tokens, delete these tokens ReturnSiteResolver.java /heros/src/heros/fieldsens line 109 Java Problem
Type mismatch: cannot convert from element type Object to Map.Entry<N,Set> FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 107 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 107 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 125 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 126 Java Problem
Syntax error, insert ";" to complete Statement ReturnSiteResolver.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, insert "}" to complete Block ReturnSiteResolver.java /heros/src/heros/fieldsens line 119 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 117 Java Problem
Syntax error on token(s), misplaced construct(s) ReturnSiteResolver.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error on token "else", delete this token ReturnSiteResolver.java /heros/src/heros/fieldsens line 111 Java Problem
Syntax error on tokens, delete these tokens ReturnSiteResolver.java /heros/src/heros/fieldsens line 115 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 143 Java Problem
PrefixTestResult cannot be resolved to a variable ReturnSiteResolver.java /heros/src/heros/fieldsens line 134 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 139 Java Problem
PrefixTestResult cannot be resolved to a variable ReturnSiteResolver.java /heros/src/heros/fieldsens line 131 Java Problem
The method isPrefixOf(AccessPath) from the type AccessPath refers to the missing type PrefixTestResult ReturnSiteResolver.java /heros/src/heros/fieldsens line 134 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 130 Java Problem
The method isPrefixOf(AccessPath) from the type AccessPath refers to the missing type PrefixTestResult ReturnSiteResolver.java /heros/src/heros/fieldsens line 131 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 150 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 145 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 145 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 143 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 144 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 73 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 73 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 67 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 67 Java Problem
Type mismatch: cannot convert from element type Object to Map.Entry<String,String> JsonDocument.java /heros/src/heros/utilities line 63 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 63 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 63 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 32 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 26 Java Problem
The type new DefaultValueMap<String,JsonArray>(){} must implement the inherited abstract method Map<String,JsonArray>.putAll(Map) JsonDocument.java /heros/src/heros/utilities line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 26 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 20 Java Problem
The type new DefaultValueMap<String,JsonDocument>(){} must implement the inherited abstract method Map<String,JsonDocument>.putAll(Map) JsonDocument.java /heros/src/heros/utilities line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonDocument.java /heros/src/heros/utilities line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 76 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 75 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 81 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 73 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 74 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 100 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 95 Java Problem
The type new DefaultValueMap<M,MethodAnalyzer<FieldRef,D,N,M>>(){} must implement the inherited abstract method Map<M,MethodAnalyzer<FieldRef,D,N,M>>.putAll(Map) FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater FieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 92 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 91 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 20 Java Problem
The import heros.fieldsens.AccessPath.PrefixTestResult cannot be resolved ReturnSiteResolver.java /heros/src/heros/fieldsens line 14 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 33 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 55 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 81 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 79 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 65 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnSiteResolver.java /heros/src/heros/fieldsens line 66 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater InterestCallback.java /heros/src/heros/fieldsens line 14 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater InterestCallback.java /heros/src/heros/fieldsens line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater InterestCallback.java /heros/src/heros/fieldsens line 16 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 73 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 83 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 91 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 39 Java Problem
IFDSSolver.BinaryDomain cannot be resolved to a type JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 30 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater MustSynchronize.java /heros/src/heros line 19 Java Problem
FIELD cannot be resolved to a variable MustSynchronize.java /heros/src/heros line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 32 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater MustSynchronize.java /heros/src/heros line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 36 Java Problem
The import java.lang.annotation.ElementType.FIELD cannot be resolved MustSynchronize.java /heros/src/heros line 13 Java Problem
The hierarchy of the type JoinHandlingNodesIFDSSolver is inconsistent JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 30 Java Problem
Syntax error, annotation declarations are only available if source level is 1.5 or greater MustSynchronize.java /heros/src/heros line 20 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater JoinHandlingNodesIFDSSolver.java /heros/src/heros/solver line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater JsonArray.java /heros/src/heros/utilities line 19 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater JsonArray.java /heros/src/heros/utilities line 27 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 15 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 17 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 17 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Context.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 35 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 47 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 69 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 63 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Debugger.java /heros/src/heros/fieldsens line 65 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater SynchronizedBy.java /heros/src/heros line 13 Java Problem
Build path specifies execution environment JavaSE-1.6. There are no JREs installed in the workspace that are strictly compatible with this environment. heros Build path JRE System Library Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountLatch.java /heros/src/heros/solver line 24 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountLatch.java /heros/src/heros/solver line 39 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater CountLatch.java /heros/src/heros/solver line 54 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater CountLatch.java /heros/src/heros/solver line 97 Java Problem
Type mismatch: cannot convert from element type Object to Thread CountLatch.java /heros/src/heros/solver line 97 Java Problem
FIELD cannot be resolved to a variable SynchronizedBy.java /heros/src/heros line 19 Java Problem
Syntax error, annotation declarations are only available if source level is 1.5 or greater SynchronizedBy.java /heros/src/heros line 20 Java Problem
The import java.lang.annotation.ElementType.FIELD cannot be resolved SynchronizedBy.java /heros/src/heros line 13 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SynchronizedBy.java /heros/src/heros line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 45 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ControlFlowJoinResolver.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 32 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AllTop.java /heros/src/heros/edgefunc line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 385 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater JoinHandlingNode.java /heros/src/heros/solver line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 384 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 383 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 377 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 376 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 375 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 374 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 373 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 365 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 364 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 364 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 361 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 31 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNode.java /heros/src/heros/solver line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 360 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 359 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 53 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater JoinHandlingNode.java /heros/src/heros/solver line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 358 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 45 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater JoinHandlingNode.java /heros/src/heros/solver line 46 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 357 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 435 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 20 Java Problem
Type mismatch: cannot convert from element type Object to Map.Entry<N,Set> BiDiIDESolver.java /heros/src/heros/solver line 433 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 433 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 18 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 433 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 432 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 432 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 431 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 430 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DeltaConstraint.java /heros/src/heros/fieldsens/structs line 22 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 61 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 398 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 397 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 397 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 395 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 393 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 393 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 71 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 387 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 76 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 386 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 26 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 487 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater DefaultIFDSTabulationProblem.java /heros/src/heros/template line 36 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 486 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 482 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 481 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 452 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 451 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 450 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 437 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 436 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 436 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 103 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 100 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 72 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 66 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 57 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 55 Java Problem
The import heros.solver.IFDSSolver.BinaryDomain cannot be resolved BiDiIDESolver.java /heros/src/heros/solver line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 190 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 182 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 182 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 178 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 176 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 171 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 167 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 167 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 167 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 164 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 138 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 137 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 128 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 119 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 286 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 242 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 240 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 239 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 232 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 223 Java Problem
Syntax error on token ":", * expected BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
The operator * is undefined for the argument type(s) null, String BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
The method getSourceStmt() is undefined for the type BiDiIDESolver<N,D,M,V,I>.SingleDirectionSolver BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
Syntax error on token ".", = expected BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
Duplicate local variable sourceVal BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
assert cannot be resolved to a type BiDiIDESolver.java /heros/src/heros/solver line 212 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 209 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 208 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 192 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 191 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 356 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 350 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 52 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 349 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 54 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 348 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 347 Java Problem
The method format(String, Object[]) in the type String is not applicable for the arguments (String, Fact, AccessPath, AccessPath.Delta, AccessPath.Delta, Resolver<Field,Fact,Stmt,Method>, Resolver<Field,Fact,Stmt,Method>) ReturnEdge.java /heros/src/heros/fieldsens/structs line 59 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 346 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 57 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 344 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 343 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 342 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 336 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 334 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 332 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 330 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 311 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 303 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiIDESolver.java /heros/src/heros/solver line 294 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 47 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 48 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 18 Java Problem
The import heros.fieldsens.AccessPath.PrefixTestResult cannot be resolved ReturnEdge.java /heros/src/heros/fieldsens/structs line 16 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ReturnEdge.java /heros/src/heros/fieldsens/structs line 21 Java Problem
Syntax error on token "exclusions", VariableDeclaratorId expected after this token AccessPath.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater PathEdge.java /heros/src/heros/solver line 23 Java Problem
Syntax error on tokens, delete these tokens AccessPath.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error on token "(", . expected AccessPath.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathEdge.java /heros/src/heros/solver line 73 Java Problem
Syntax error on tokens, delete these tokens AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathEdge.java /heros/src/heros/solver line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 139 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathEdge.java /heros/src/heros/solver line 60 Java Problem
Syntax error on token "(", . expected AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater PathEdge.java /heros/src/heros/solver line 65 Java Problem
Syntax error on token "POTENTIAL_PREFIX", VariableDeclaratorId expected after this token AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error on token "(", delete this token AccessPath.java /heros/src/heros/fieldsens line 141 Java Problem
Syntax error on tokens, AnnotationName expected instead AccessPath.java /heros/src/heros/fieldsens line 141 Java Problem
Syntax error on token "==", . expected AccessPath.java /heros/src/heros/fieldsens line 140 Java Problem
Syntax error on token ")", . expected AccessPath.java /heros/src/heros/fieldsens line 140 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 122 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 25 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 130 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 28 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 116 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 29 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 120 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 31 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 31 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 114 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 103 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 105 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 39 Java Problem
accPath cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 17 Java Problem
Syntax error on token ")", delete this token AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, insert "}" to complete MethodBody AccessPath.java /heros/src/heros/fieldsens line 137 Java Problem
assert cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 138 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 21 Java Problem
The type new DefaultValueMap<Fact,PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>>(){} must implement the inherited abstract method Map<Fact,PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>>.putAll(Map) MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 137 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 137 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 132 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 23 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 134 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater MethodAnalyzerImpl.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, insert ";" to complete FieldDeclaration AccessPath.java /heros/src/heros/fieldsens line 89 Java Problem
Syntax error on token ")", delete this token AccessPath.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 86 Java Problem
enum cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 89 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 84 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 80 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 83 Java Problem
Syntax error on token "}", delete this token AccessPath.java /heros/src/heros/fieldsens line 101 Java Problem
PrefixTestResult cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 103 Java Problem
Return type for the method is missing AccessPath.java /heros/src/heros/fieldsens line 94 Java Problem
PrefixTestResult cannot be resolved to a type AccessPath.java /heros/src/heros/fieldsens line 98 Java Problem
Syntax error, insert ")" to complete Expression AccessPath.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error, insert "}" to complete Block AccessPath.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error on token ")", delete this token AccessPath.java /heros/src/heros/fieldsens line 90 Java Problem
Syntax error on token(s), misplaced construct(s) AccessPath.java /heros/src/heros/fieldsens line 90 Java Problem
Type mismatch: cannot convert from T[] to T[] AccessPath.java /heros/src/heros/fieldsens line 59 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, varargs are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 78 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 74 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 68 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 71 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Scheduler.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 24 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 24 Java Problem
The import heros.fieldsens.AccessPath.PrefixTestResult cannot be resolved ResolverTemplate.java /heros/src/heros/fieldsens line 20 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Transfer.java /heros/src/heros/flowfunc line 31 Java Problem
The method isPrefixOf(AccessPath) from the type AccessPath refers to the missing type PrefixTestResult ResolverTemplate.java /heros/src/heros/fieldsens line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 210 Java Problem
PrefixTestResult cannot be resolved to a variable ResolverTemplate.java /heros/src/heros/fieldsens line 83 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Transfer.java /heros/src/heros/flowfunc line 21 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 210 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 209 Java Problem
The method twoElementSet(D, D) is undefined for the type Transfer Transfer.java /heros/src/heros/flowfunc line 33 Java Problem
Type mismatch: cannot convert from element type Object to ResolverTemplate<Field,Fact,Stmt,Method,Incoming> ResolverTemplate.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 209 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Transfer.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 205 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 97 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 205 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Transfer.java /heros/src/heros/flowfunc line 21 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 92 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 205 Java Problem
The import heros.TwoElementSet.twoElementSet cannot be resolved Transfer.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 93 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 205 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 36 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 261 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 274 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 259 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 35 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 261 Java Problem
PrefixTestResult cannot be resolved to a variable ResolverTemplate.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 232 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 77 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 251 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 67 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 212 Java Problem
The method isPrefixOf(AccessPath) from the type AccessPath refers to the missing type PrefixTestResult ResolverTemplate.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 223 Java Problem
The method getDeltaTo(AccessPath) is undefined for the type ResolverTemplate<Field,Fact,Stmt,Method,Incoming> ResolverTemplate.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 150 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 114 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 152 Java Problem
assert cannot be resolved to a type ResolverTemplate.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error on token "||", invalid AssignmentOperator AccessPath.java /heros/src/heros/fieldsens line 144 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 148 Java Problem
Syntax error on token ".", = expected ResolverTemplate.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 127 Java Problem
Syntax error on token "mergedExclusions", VariableDeclaratorId expected after this token AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error on token ")", { expected after this token AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Type mismatch: cannot convert from element type Object to Incoming ResolverTemplate.java /heros/src/heros/fieldsens line 118 Java Problem
Syntax error, insert ")" to complete SingleMemberAnnotation AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 127 Java Problem
Syntax error, insert "Type VariableDeclaratorId" to complete FormalParameterList AccessPath.java /heros/src/heros/fieldsens line 142 Java Problem
assert cannot be resolved to a type ResolverTemplate.java /heros/src/heros/fieldsens line 99 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 204 Java Problem
Duplicate local variable nestedResolver ResolverTemplate.java /heros/src/heros/fieldsens line 99 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 204 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 98 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 176 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on ResolverTemplate.java /heros/src/heros/fieldsens line 99 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 185 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 164 Java Problem
'assert' should not be used as an identifier, since it is a reserved keyword from source level 1.4 on ResolverTemplate.java /heros/src/heros/fieldsens line 109 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 168 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 157 Java Problem
Syntax error on token ".", ; expected ResolverTemplate.java /heros/src/heros/fieldsens line 99 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater ResolverTemplate.java /heros/src/heros/fieldsens line 104 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater AccessPath.java /heros/src/heros/fieldsens line 164 Java Problem
The method singleton(D) is undefined for the type Gen Gen.java /heros/src/heros/flowfunc line 41 Java Problem
The method twoElementSet(D, D) is undefined for the type Gen Gen.java /heros/src/heros/flowfunc line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Gen.java /heros/src/heros/flowfunc line 37 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater Gen.java /heros/src/heros/flowfunc line 27 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Gen.java /heros/src/heros/flowfunc line 27 Java Problem
The import java.util.Collections.singleton cannot be resolved Gen.java /heros/src/heros/flowfunc line 14 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Gen.java /heros/src/heros/flowfunc line 14 Java Problem
The import heros.TwoElementSet.twoElementSet cannot be resolved Gen.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater Gen.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 43 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 41 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 62 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 42 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 61 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 64 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 51 Java Problem
The class file AbstractMapBasedMultimap<K,V> contains a signature '(TK;Ljava/util/List<TV;>;Lcom/google/common/collect/AbstractMapBasedMultimap<TK;TV;>.WrappedCollection;)Ljava/util/List<TV;>;' ill-formed at position 85 BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 62 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 45 Java Problem
Syntax error, 'for each' statements are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 69 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Pair.java /heros/src/heros/solver line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Pair.java /heros/src/heros/solver line 44 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater Pair.java /heros/src/heros/solver line 30 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 50 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater Pair.java /heros/src/heros/solver line 14 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 27 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 49 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 52 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 32 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 53 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 32 Java Problem
The type new DefaultValueMap<SourceStmtAnnotatedMethodAnalyzer.Key<Fact,Stmt>,PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>>(){} must implement the inherited abstract method Map<SourceStmtAnnotatedMethodAnalyzer.Key<Fact,Stmt>,PerAccessPathMethodAnalyzer<Field,Fact,Stmt,Method>>.putAll(Map) SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 31 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 19 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 34 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 22 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 33 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 40 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 39 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 48 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 23 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 26 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 18 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 25 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 29 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater BiDiFieldSensitiveIFDSSolver.java /heros/src/heros/fieldsens line 28 Java Problem
The import java.util.Collections.emptySet cannot be resolved KillAll.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 26 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 26 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 28 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 33 Java Problem
The method emptySet() is undefined for the type KillAll KillAll.java /heros/src/heros/flowfunc line 34 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 37 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 38 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 38 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 79 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 88 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 56 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 58 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 51 Java Problem
Syntax error, annotations are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 55 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 66 Java Problem
Syntax error, type parameters are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 70 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 60 Java Problem
Syntax error, static imports are only available if source level is 1.5 or greater KillAll.java /heros/src/heros/flowfunc line 13 Java Problem
Syntax error, parameterized types are only available if source level is 1.5 or greater SourceStmtAnnotatedMethodAnalyzer.java /heros/src/heros/fieldsens line 60 Java Problem
test/ is missing from source.soot-ifds.jar build.properties /heros line 1 Plug-in Problem
'source.soot-trunk.jar' build entry is missing build.properties /heros line 1 Plug-in Problem
'source.guava-13.0.jar' build entry is missing build.properties /heros line 1 Plug-in Problem
The file "guava-14.0.1.jar" does not exist in the workspace build.properties /heros line 5 Plug-in Problem
The file "soot-trunk.jar" does not exist in the workspace build.properties /heros line 4 Plug-in Problem

Incorrect source value for Phase II(i) value computation

I believe I've run across a bug in the implementation of Phase II(i) in IDESolver. The problem seems arise when a fact besides the zero fact is used for an initial seeds.

The problem occurs in propagateValueAtStart:

private void propagateValueAtStart(Pair<N, D> nAndD, N n) {
    D d = nAndD.getO2();        
    M p = icfg.getMethodOf(n);
    for(N c: icfg.getCallsFromWithin(p)) {                  
        Set<Entry<D, EdgeFunction<V>>> entries; 
        synchronized (jumpFn) {
            entries = jumpFn.forwardLookup(d,c).entrySet();
            for(Map.Entry<D,EdgeFunction<V>> dPAndFP: entries) {
                D dPrime = dPAndFP.getKey();
                EdgeFunction<V> fPrime = dPAndFP.getValue();
                N sP = n;
                propagateValue(c,dPrime,fPrime.computeTarget(val(sP,d)));
            }
        }
    }
}

In this case, d is a non-zero fact that was an initial seed. The forwardLookup call returns that there are no destination (fact,function) pairs for the source fact d. This is because most (all?) jump functions have the zero fact as their source fact. The analysis seems to work if I explicitly replace the second element of the tuple passed to propagateValueAtStart with the zero fact, but this fix is a hack at best and I'm not sure if it is correct in general.

Virtual Invokes only triggers getCallToReturnFlowFunction

We are trying to build an IFDS Solver to trace mock objects in test suites.
We tested several types of invokes (VirtualInvoke, StaticInvoke, SpecialInvoke), and it seems like only StaticInvoke could trigger getCallFlowFunction and getReturnFlowFunction, whereas VirtualInvoke could only trigger getCallToReturnFlowFunction.
I would like to know if this is the expected behavior of heros. If so, how could I manage to trace to the method of virtualInvoke?

Our microbenchmark for testing: https://github.com/dliang2000/MockAbstraction/blob/master/Benchmarks/microbenchmark/src/test/java/ca/liang/RootDriver.java
Our developing IFDS Problem:
https://github.com/dliang2000/MockAbstraction/blob/master/src/main/java/ca/uwaterloo/liang/IFDSProblem.java

Output for objects B, C, D in testing: message.txt

Soot's Callgraph could see edges of these virtual invokes:

flowfunc/Transfer uses == instead of equals(..)

commit 19cb6fb fixed the same issue in flowfunc/Kill but use of == remains in the Transfer class.

The same usage also exists in flowfunc/Gen but shouldn't cause any issues there if IFDSTabulationProblem#zeroValue() is always used to obtain the unique instance of zero.

How to analyse a specific method ?

I run an easy code:

public class IFDSDemo {
    public static void main(String[] args) {
        int x = secret();
        int y = 0;
        y = foo(x);
        print(y);
    }

    private static void print(int y) {
        System.out.println(y);
    }

    private static int secret() {
        return 88;
    }
    private static int foo(int p){
        return p;
    }
}

I use the wiki way to analysis.
I wonder that how to analyse a specific method as an entry method.
Because I find that the wiki says:

// Set the main class of the application to be analysed
        Options.v().set_main_class(mainClass);

I think that heros must has a way to implement of specific functions as entry points. If not , please tell me why. Thanks.

Rename DefaultIDETabulationProblem.createJoinLattice

It now returns a MeetLattice: https://github.com/Sable/heros/blob/8e59e82e2223034b952d4c7ba7d07de1d732cf8c/src/heros/template/DefaultIDETabulationProblem.java#L46

	protected abstract MeetLattice<V> createJoinLattice();

How to validate ICFG?

Within a scene transformer, I've used
InterproceduralCFG icfg = new JimpleBasedInterproceduralCFG();
to get an ICFG. Now, how do I know whether it's correct or not?. I want to generate an adjacency matrix from this graph. If I print out this icfg using toString() then it just prints out a huge string.
Anyone knows how to atleast visualize this graph?. Or export it in some Graph language (like DOT?)

How to use FieldSensitiveIFDSSolver?

I found existing examples of using the Heros' IFDS solver with Soot. However, it was written using Soot v. 3.1.0 and Heros v. 1.0.1. And no examples use the FieldSensitiveIFDSSolver.

How do I use it?

It would be helpful to have a link or a wiki with instructions on how to use the software.

Edit: I found this link http://www.bodden.de/tools/heros/ pointing to examples here https://github.com/Sable/soot/tree/master/src/soot/jimple/toolkits/ide/exampleproblems

As someone looking at this for the first time this is quiet confusing that examples are bundled into the library. It would help to have examples in a separate repo linked to the readme.

How to run backwards IFDS?

I found existing examples of using the Heros' IFDS solver with Soot. Following is the example driver code. However, it performs IFDSReachingDefinitions, which is forward analysis. From my understanding, the IFDSLiveVariable should be backward analysis. What should I do if I want to run the IFDSLiveVariable? For example, should I change the type of ICFG to BackwardsInterproceduralCFG?

// Subclass of SceneTransformer to run Heros IFDS solver in Soot's "wjtp" pack
public class IFDSDataFlowTransformer extends SceneTransformer {
    @Override
    protected void internalTransform(String phaseName, Map<String, String> options) {
        JimpleBasedInterproceduralCFG icfg= new JimpleBasedInterproceduralCFG();
        IFDSTabulationProblem<Unit, Pair<Value, 
                Set<DefinitionStmt>>, SootMethod, 
                InterproceduralCFG<Unit, SootMethod>> problem = new IFDSReachingDefinitions(icfg);

        IFDSSolver<Unit, Pair<Value, Set<DefinitionStmt>>, 
                SootMethod, InterproceduralCFG<Unit, SootMethod>> solver = 
                    new IFDSSolver<Unit, Pair<Value, Set<DefinitionStmt>>, SootMethod, 
                                   InterproceduralCFG<Unit, SootMethod>>(problem);

        System.out.println("Starting solver");
        solver.solve();
        System.out.println("Done");
    }
}

Thanks!

How to taint class instance

Hi~

java code

String tainted = xxx;
StringBuilder sb = new StringBuilder();
sb.append(tainted);
sink(sb.toString());

jimple IR

$stack7 = new java.lang.StringBuilder;
specialinvoke $stack7.<java.lang.StringBuilder: void <init>()>();
sb = $stack7;
$stack8 = virtualinvoke sb.<java.lang.StringBuilder: java.lang.StringBuilder append(java.lang.String)>(tainted);
$stack9 = virtualinvoke sb.<java.lang.StringBuilder: java.lang.String toString()>();
specialinvoke this.<ClassA: void sink(java.lang.String)>($stack9);

How to mark sb when the parameter passed to method append is tainted?

my code

if (callArgs[0].equivTo(source.value)) {
    ret.add(invokeExpr.base) // maybe not working
    ret.add(leftOp)
}

Thanks :)

I want to use heros implement inter-procedural analysis,but I didn't how to use it.

Is there some complete engineering examples?

Inter-procedural Analysis on Shimple Bytecode

Hi,

I wanna perform inter-procedural analysis on Shimple bytecode of Android apps. However, I realize the existing examples here are for jimple. How can I use hero with Shimple?

Thanks :)

Handle exceptional flows more precisely

Currently, Heros models exceptions such that they generate a return edge, but at the side of the caller, Heros fails to detect that the control flow may then have to continue at the respective exception handler. This should be improved.

Lock contention

Through tests on our new server I found that there is very high lock contention on the lock on the JumpFunctions table. This should be fixed. Somehow we need much more fine-grained locking.
@StevenArzt something to think about... not sure how well this work with your "fast solver"

Heros Solver remains blocked after OutOfMemoryError

When running larger test cases and hitting OutOfMemoryError, Heros remains blocked. So the memory is still used and the program doesn't terminate.

Missing check of null cachebuilder

In src/heros/solver/IDESolver.java: 160
public IDESolver(IDETabulationProblem<N,D,M,V,I> tabulationProblem, CacheBuilder flowFunctionCacheBuilder, CacheBuilder edgeFunctionCacheBuilder)
{
if(logger.isDebugEnabled()) {
flowFunctionCacheBuilder = flowFunctionCacheBuilder.recordStats(); // ERROR
edgeFunctionCacheBuilder = edgeFunctionCacheBuilder.recordStats(); // ERROR
}
.......
}
By the comment of the constructor, flowFunctionCacheBuilder and edgeFunctionCacheBuilder can be null.
However, when DEBUG is enabled for the logger, it will try to use these two arguments without checking whether they are null.

InterruptException in CountLatch

Hi,

from time to time i get InterruptedExceptions on the main thread when executing tests:
java.lang.InterruptedException
at java.util.concurrent.locks.AbstractQueuedSynchronizer.acquireSharedInterruptibly(AbstractQueuedSynchronizer.java:1301)
at heros.solver.CountLatch.awaitZero(CountLatch.java:75)
at heros.solver.CountingThreadPoolExecutor.awaitCompletion(CountingThreadPoolExecutor.java:69)
at heros.alias.FieldSensitiveIFDSSolver.runExecutorAndAwaitCompletion(FieldSensitiveIFDSSolver.java:178)
at heros.alias.FieldSensitiveIFDSSolver.awaitCompletionComputeValuesAndShutdown(FieldSensitiveIFDSSolver.java:159)
at heros.alias.FieldSensitiveIFDSSolver.solve(FieldSensitiveIFDSSolver.java:135)

Changing the call in CountLatch.awaitZero from sync.acquireSharedInterruptibly(1) to sync.acquireShared(1) seems to solve this issue. Yet, i am not absolutely sure this change makes sense, nor if the InterruptedException should not occur in the first place. Therefore, i am not sure if i am working around the symptom instead of really fixing the bug.
I would appreciate if someone could have a second look at this.

The stack trace above contains FieldSensitiveIFDSSolver, which is a modification of FlowDroids FastSolver, but this should occur with the default IDESolver as well.

AllBottom.composeWith is broken

It is currently implemented like this:
https://github.com/Sable/heros/blob/1a0a5be37bc321b0745c3e080e3e70543f5f04b4/src/heros/edgefunc/AllBottom.java#L28-L32

The if case is right, but the else case is wrong. The value should not be secondFunction, but a constant function that returns the the value secondFunction.computeTarget(bottomElement).

Unfortunately, this is not easy to fix: there is no generic way to construct a constant edge function since the user can supply their own lattice and edge functions. Something to this effect would have be added to the EdgeFunction interface or something.

Recommend Projects

React

A declarative, efficient, and flexible JavaScript library for building user interfaces.
Vue.js

🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript

TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
TensorFlow

An Open Source Machine Learning Framework for Everyone
Django

The Web framework for perfectionists with deadlines.
Laravel

A PHP framework for web artisans
D3

Bring data to life with SVG, Canvas and HTML. 📊📈🎉

Recommend Topics

javascript

JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
web

Some thing interesting about web. New door for the world.
server

A server is a program made to process requests and deliver data to clients.
Machine learning

Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Visualization

Some thing interesting about visualization, use data art
Game

Some thing interesting about game, make everyone happy.

Recommend Org

Facebook

We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft

Open source projects and samples from Microsoft.
Google

Google ❤️ Open Source for everyone.
Alibaba

Alibaba Open Source for everyone
D3

Data-Driven Documents codes.
Tencent

China tencent open source team.