jmiserez/paproject13

Issues

• Implement modular interval domain

  #6 opened 10 years ago by henrikssn
  2

• Implement transformers for bitwise operators

  #7 opened 10 years ago by jmiserez
  3

• Make API rules parameterizable

  #12 opened 10 years ago by jmiserez
  0

• Flow-sensitive pointer analysis

  #15 opened 10 years ago by jmiserez
  0

• Testcases for widening

  #16 opened 10 years ago by jmiserez
  1

• Move widening implementation into merge step

  #19 opened 10 years ago by jmiserez
  0

• Loop unrolling a fixed number of times

  #21 opened 10 years ago by jmiserez
  0

• Check Division and Modulo

  #23 opened 10 years ago by jmiserez
  0

• Integer overflow

  #4 opened 11 years ago by henrikssn
  2

• Add at least 10 non-feature specific test cases

  #10 opened 11 years ago by jmiserez
  2

• Handle Infinity (INF)

  #14 opened 11 years ago by jmiserez
  9

• Recheck doCondExpr

  #20 opened 11 years ago by jmiserez
  1

• Unsound testcase

  #17 opened 11 years ago by henrikssn
  3

• Make widening sound

  #18 opened 11 years ago by jmiserez
  2

• Implement switchstmt

  #2 opened 11 years ago by henrikssn
  1

• Pointer analysis

  #5 opened 11 years ago by jmiserez
  3

• Implement widening and loop analysis

  #8 opened 11 years ago by jmiserez
  1

• Implement rest of Ifstmt

  #3 opened 11 years ago by henrikssn
  0

• Implement domain-agnostic interface for Interval class

  #9 opened 11 years ago by jmiserez
  0

• Use AbstractDomain superclass

  #11 opened 11 years ago by henrikssn
  0