matozoid/java_flow_analyser

Issues

• Consider extra paths to the catch blocks

  #33 opened 4 years ago by matozoid
  0

• Make finally-flow work with continue to label and break to label

  #18 opened 4 years ago by matozoid
  0

• Return warnings and errors

  #16 opened 4 years ago by matozoid
  0

• For statement may have empty parts

  #25 opened 4 years ago by matozoid
  2

• Test empty statements

  #23 opened 4 years ago by matozoid
  0

• Store the condition expression for CHOICE flows.

  #19 opened 4 years ago by matozoid
  0

• Support classic for

  #2 opened 4 years ago by matozoid
  1

• Method calls

  #15 opened 4 years ago by matozoid
  1

• Support switch-case-default

  #6 opened 4 years ago by matozoid
  0

• Support new switch

  #22 opened 4 years ago by matozoid
  0

• Support ?:;

  #7 opened 4 years ago by matozoid
  1

• Make lambda's analysable

  #21 opened 4 years ago by matozoid
  0

• Create dominator tree from the flow graph

  #20 opened 4 years ago by matozoid
  0

• Support for-each

  #3 opened 4 years ago by matozoid
  0

• Support for full compilation unit analysis

  #1 opened 4 years ago by matozoid
  0

• Support do-while

  #4 opened 4 years ago by matozoid
  0

• Make finally-flow work with continue and break

  #14 opened 4 years ago by matozoid
  1

• Support try-catch-finally

  #5 opened 4 years ago by matozoid
  2

• Support constructor analysis

  #12 opened 4 years ago by matozoid
  0

• Start the data flow analyser

  #13 opened 4 years ago by matozoid
  0

• Support construction flow

  #11 opened 4 years ago by matozoid
  0

• Support static initialization flow

  #10 opened 4 years ago by matozoid
  0

• Mark methodcalls

  #9 opened 4 years ago by matozoid
  1

• Make dot graph export

  #8 opened 4 years ago by matozoid
  0