sampsyo/quala

Issues

• Emitting Type Annotations for global variable

  #15 opened 7 years ago
  7

• get null metadata for instructions with llvm 5

  #14 opened 7 years ago
  1

• Not able to run tests

  #13 opened 7 years ago
  2

• Set annotation for elements in c `struct`.

  #12 opened 8 years ago
  4

• Annotation info doesn't match with LLVM IR output

  #11 opened 8 years ago
  5

• Annotation Infection for Pointee

  #10 opened 8 years ago
  2

• Generate metadata for globals and parameters

  #9 opened 10 years ago
  0

• Generate metadata for return values

  #8 opened 10 years ago
  0

• Audit standard type propagation rules

  #7 opened 10 years ago
  0

• Annotations in C++ template parameters

  #6 opened 10 years ago
  0

• Multiple annotations per type

  #5 opened 10 years ago
  0

• Flow-sensitive analysis

  #4 opened 10 years ago
  0

• (Optionally) skip checking system headers

  #3 opened 10 years ago
  0

• Nullness: Recognize C++11 nullptr

  #2 opened 10 years ago
  0

• Nullness: Disallow NULLABLE annotations non-pointer types

  #1 opened 10 years ago
  0