Ezgi Çiçek
|
da13e52b27
|
[inferbo] Generalize String.length to CharSequence.length
Reviewed By: mbouaziz
Differential Revision: D14951988
fbshipit-source-id: 6c8906d2a
|
6 years ago |
|
Ezgi Çiçek
|
ce0ccc10ec
|
[inferbo,cost] Add models for Java Strings
Reviewed By: mbouaziz, skcho
Differential Revision: D14522624
fbshipit-source-id: 1ec2e0389
|
6 years ago |
Mehdi Bouaziz
|
564d0113b4
|
[Cost] More precise traces for Top
Reviewed By: ezgicicek
Differential Revision: D14350180
fbshipit-source-id: 2cb8b0cd0
|
6 years ago |
|
Mehdi Bouaziz
|
e505fd2dba
|
[inferbo] Pointer comparison
Reviewed By: skcho
Differential Revision: D13066771
fbshipit-source-id: 134b27db8
|
6 years ago |
|
Mehdi Bouaziz
|
3ee96263a7
|
[inferbo] Simplify and improve Itv.prune_comp
Reviewed By: skcho
Differential Revision: D10386789
fbshipit-source-id: f9c7e33ef
|
6 years ago |
|
Mehdi Bouaziz
|
3dd97cc40f
|
[inferbo] Use WTO abstract interpreter
Reviewed By: jvillard
Differential Revision: D10072723
fbshipit-source-id: aabf3605e
|
6 years ago |
|
Mehdi Bouaziz
|
c3f2fbc8c6
|
[inferbo] Do not alias values representing multiple values (Java, C partially)
Reviewed By: skcho
Differential Revision: D10317894
fbshipit-source-id: d9bf25699
|
6 years ago |
|
Mehdi Bouaziz
|
7c89d92851
|
[RFC] Format all java files
Reviewed By: jeremydubreil
Differential Revision: D10067033
fbshipit-source-id: 73975664e
|
6 years ago |
|
Ezgi Çiçek
|
4624ff48d1
|
Fix control variable imprecision in do while loops
Reviewed By: ddino
Differential Revision: D8608040
fbshipit-source-id: 13a9048
|
7 years ago |
