billy-mosse/jconsume

Issues

• Support summaries with nodes information

  #16 opened 5 years ago by billy-mosse
  1

• When adding, >=2 digit numbers have a bug

  #15 opened 6 years ago by billy-mosse
  1

• Annotated new relevant parameters should be added to the instrumentation

  #14 opened 6 years ago by billy-mosse
  1

• Feature: process modular invariants

  #13 opened 6 years ago by billy-mosse
  1

• Fix typo when processing new relevant parameters annotation

  #12 opened 6 years ago by billy-mosse
  0

• InstrumentedMethod shouldn't import classes from the same package, it's not necessary

  #11 opened 6 years ago by billy-mosse
  0

• Local inner classes break the compilation of InstrumentedMethod.java

  #10 opened 6 years ago by billy-mosse
  0

• The binding at CallSite #2 of method init of class Graph.java of project MST is swapped

  #9 opened 7 years ago by billy-mosse
  1

• Analysis of Program2 breaks if ran entirely by command line

  #8 opened 7 years ago by billy-mosse
  2

• Bytecode breaks after instrumenting with soot in Program3

  #7 opened 7 years ago by billy-mosse
  1

• Paper's Program2 example has wrong memory consumption

  #6 opened 7 years ago by billy-mosse
  1

• The offset of sites of the spec invariants doesn't coincide with the one of the methods given by soot

  #5 opened 7 years ago by billy-mosse
  1

• Relevant fields of invariants generated by daikon should propagate to parameters

  #4 opened 7 years ago by billy-mosse
  1

• The binding between arguments and parameters doesn't take into account derived fields of parameters

  #3 opened 7 years ago by billy-mosse
  1

• There's a callsite in MST's invariants that doesn't match up with the code soot generates

  #2 opened 7 years ago by billy-mosse
  1

• Fix the getImportable() method so that it returns a list of importable classes

  #1 opened 7 years ago by billy-mosse
  1