peterrum/po-lab-2018

Issues

• Clarify license

  #60 opened 6 years ago by michael-schwarz
  0

• Implement trivial widening for strided intervals

  #56 opened 6 years ago by arosch
  5

• Example presentation

  #57 opened 6 years ago by arosch
  1

• Test with bigger program

  #40 opened 6 years ago by michael-schwarz
  4

• Future Work

  #35 opened 6 years ago by michael-schwarz
  0

• Improve percision of signed compare operations by limiting args used for intersect call

  #58 opened 6 years ago by michael-schwarz
  2

• Fix lessOrEquals for CompositeDomain.

  #48 opened 6 years ago by jerhard
  1

• sdiv is currently not sound

  #59 opened 6 years ago by michael-schwarz
  2

• Implement LLVM operations for strided intervals

  #24 opened 6 years ago by gottfriedsen
  3

• StridedIntervals: check added code and fill in remaining functions

  #45 opened 6 years ago by peterrum
  4

• StridedInterval: Refactor code

  #46 opened 6 years ago by peterrum
  2

• Improve icmp for StridedIntervals

  #49 opened 6 years ago by jerhard
  2

• visitphinode case of propagating constants

  #55 opened 6 years ago by arosch
  0

• Compare TestOutput for StridedInterval

  #44 opened 6 years ago by jerhard
  2

• Write benchmark to automatically compare VSAResult and LazyValueInfo

  #39 opened 6 years ago by peterrum
  2

• Strided Interval implement API functions

  #41 opened 6 years ago by arosch
  1

• Remove superfluous LUB

  #54 opened 6 years ago by michael-schwarz
  1

• Strided Interval: Least upper bound is incorrect (depending on the order of arguments)

  #51 opened 6 years ago by michael-schwarz
  15

• Implement lattice interface for strided intervals

  #25 opened 6 years ago by gottfriedsen
  1

• Widening and narrowing

  #36 opened 6 years ago by peterrum
  0

• Strided Interval: Constructor taking BoundedSet is incorrect

  #53 opened 6 years ago by michael-schwarz
  1

• Switch Instruction: Wrong behavior when same BB is jumped to for two different cases

  #52 opened 6 years ago by michael-schwarz
  1

• Make VsaPass inherit from function pass instead of module pass

  #43 opened 6 years ago by michael-schwarz
  1

• size() in StridedInterval is wrong (off-by-1)

  #50 opened 6 years ago by michael-schwarz
  3

• Add CompositeDomain

  #29 opened 6 years ago by jerhard
  1

• Integrate CompositeDomain

  #47 opened 6 years ago by peterrum
  1

• Strided Interval contains fails at line 348 with APInt assertion

  #42 opened 6 years ago by arosch
  2

• Compare quality of results with LazyValueInfo

  #38 opened 6 years ago by peterrum
  5

• Treat default branch smarter in switch

  #34 opened 6 years ago by michael-schwarz
  1

• Assertion `!isTop() && " called size() on T"' failed

  #37 opened 6 years ago by gottfriedsen
  0

• AbstractDomain operator functions remove unnecessary nuw & nsw

  #30 opened 6 years ago by arosch
  0

• Create API

  #32 opened 6 years ago by peterrum
  0

• Fix BoundedSet operations add, sub, mul

  #31 opened 6 years ago by jerhard
  1

• Add negate operation for AbstractDomain.

  #33 opened 6 years ago by jerhard
  1

• Add Assert to BoundedSet to Check for Divsion by Zero or Overflow

  #28 opened 6 years ago by jerhard
  0

• Separate state and branch conditions

  #19 opened 6 years ago by peterrum
  3

• Check if bit width is available when abstract domain objects are created by fix point algorithm

  #23 opened 6 years ago by gottfriedsen
  1

• Add method isBottom() to AbstractDomain

  #26 opened 6 years ago by jerhard
  0

• Create method isBottom in AbstractDomain

  #27 opened 6 years ago by peterrum
  0

• Implement switch

  #15 opened 6 years ago by michael-schwarz
  2

• Fix llvm 6 compatibility

  #22 opened 6 years ago by jerhard
  0

• Deal with comparisons involving two vars

  #14 opened 6 years ago by michael-schwarz
  5

• LUB is incorrect

  #20 opened 6 years ago by michael-schwarz
  2

• Add arg -> T for all arguments when entering function

  #21 opened 6 years ago by michael-schwarz
  0

• Prune implementation is incorrect

  #17 opened 6 years ago by michael-schwarz
  2

• Reinsert all assertions dealing with not visiting bottom

  #13 opened 6 years ago by michael-schwarz
  3

• Implement transfer function for load

  #18 opened 6 years ago by michael-schwarz
  0

• Preprocessing macro for selecting type of abstract domain implementation

  #16 opened 6 years ago by peterrum
  0

• Remove Duplicates in BoundedSet

  #12 opened 6 years ago by jerhard
  1

• Put successor on worklist too?

  #11 opened 6 years ago by michael-schwarz
  2