Markus Schmidt issues

Results 74 issues of


                                            Markus Schmidt

Jimple serialisation @caughtexceptionref

almost everything is quite verbose in a jimple file: i guess then we should print (and parse) the exceptiontype in `@caughtexceptionref`, too

improvement

model Annotations in Jimple Serialization

- [ ] print them. - [ ] parse them with JimpleParser

sourcecodefronted: stmtlist has a fallsthrough stmt at the end of its stmtlist

see Java7EnhancementTests.testTryWithResourcesStatement()

sourcecodefronted: covered Trap-range is not assigned correctly

e.g. see TryCatchFinally.tryCatchNested() tests in the sourcecodefronted: - the first try block is not covered!

bug

let JReturnVoidStmt and JReturnStmt implement the same Marker interface

because: annoying to use/read in `instanceOf`

good first issue

possibility to add a single input file e.g. .class as AnalysisInputLocation

port AnalysisFramework

ForwardsAnalysis etc. into core module.

incorporate AccessUtil from soot

enables to resolve only classes that are visible to the startPackage via View (incorporate into ' AbstractView.getClasses( PackageName startPackage, ClassType classType )' )and can support with Visibility checks in general....

check new Collection( size ) calls to reduce memory/copying backing datastructure

- [ ] replace occurences of new Collection( **size** ) calls and replace them with guavas Map.new*Collection*WithExpectedSize( **size**) to avoid resizing the backing datastructure while inserting the expected amount of...

rename Postion to Range

as our Position model resembles a range like in LSP