sampsyo quala issues - Githubissues

sampsyo / quala

custom type systems for Clang

MIT License

96 stars 7 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Emitting Type Annotations for global variable

#15 sangeeta0201 opened 6 years ago
7
get null metadata for instructions with llvm 5

#14 sangeeta0201 closed 6 years ago
1
Not able to run tests

#13 ghost opened 6 years ago
2
Set annotation for elements in c `struct`.

#12 EmmetZC opened 7 years ago
4
Annotation info doesn't match with LLVM IR output

#11 EmmetZC closed 7 years ago
5
Annotation Infection for Pointee

#10 EmmetZC closed 7 years ago
2
Generate metadata for globals and parameters

#9 sampsyo opened 9 years ago
0
Generate metadata for return values

#8 sampsyo opened 9 years ago
0
Audit standard type propagation rules

#7 sampsyo opened 10 years ago
0
Annotations in C++ template parameters

#6 sampsyo opened 10 years ago
0
Multiple annotations per type

#5 sampsyo opened 10 years ago
0
Flow-sensitive analysis

#4 sampsyo opened 10 years ago
0
(Optionally) skip checking system headers

#3 sampsyo closed 10 years ago
0
Nullness: Recognize C++11 nullptr

#2 sampsyo closed 10 years ago
0
Nullness: Disallow NULLABLE annotations non-pointer types

#1 sampsyo opened 10 years ago
0