7 Commits (f00950a3c8dd2ac627fc6cf08e6b883c0187fcc1)

Author SHA1 Message Date
Sungkeun Cho 5aa26dc32e [inferbo] Add an allocsite type for literal strings
6 years ago
Mehdi Bouaziz a689301c53 [inferbo] eval_locs
6 years ago
Mehdi Bouaziz e505fd2dba [inferbo] Pointer comparison
6 years ago
Sungkeun Cho a2312462eb [inferbo] Use values of global constant variables in C
6 years ago
Sungkeun Cho 76bf31bc17 [inferbo] Add a test case of global constant
6 years ago
Jules Villard 8b882ac1df Change license to MIT
7 years ago
Kihong Heo 984a81413a [inferbo] Top for unanalyzed variables (e.g., global variables)
8 years ago