6423ec74ad
Writing errors for Threadsafe checker
...
Summary: when a method has writes to a field outside of synchrnoization, issue an appropriate error message identifying the fields
Reviewed By: sblackshear
Differential Revision: D4015612
fbshipit-source-id: 4f697fc
8 years ago
de146f4f2d
[quandary] switch to using base -> formal num map in extras
...
Reviewed By: dkgi
Differential Revision: D3883256
fbshipit-source-id: 857e1f9
8 years ago
e4beca3779
[quandary] using summaries part 1: return
...
Reviewed By: jeremydubreil
Differential Revision: D3857310
fbshipit-source-id: 29c5994
8 years ago
1e4b4df427
fixing handling of aliasing for frontend tmp vars
...
Reviewed By: cristianoc
Differential Revision: D3824558
fbshipit-source-id: 624df00
8 years ago
f0028669ee
propagate tainted sources
...
Reviewed By: mbouaziz
Differential Revision: D3723878
fbshipit-source-id: 6774e0b
8 years ago
701eb20f83
Refactor Sil.exp to Exp.t
...
Summary: Create Exp module and refactor Sil.exp to Exp.t
Reviewed By: cristianoc
Differential Revision: D3669394
fbshipit-source-id: 1f52a90
8 years ago
6a1a0d68da
create access paths from expressions
...
Reviewed By: jvillard
Differential Revision: D3605422
fbshipit-source-id: 1ccd9f8
9 years ago
a33e047377
allow access path base to be an ident as well
...
Reviewed By: dkgi
Differential Revision: D3584658
fbshipit-source-id: ec77b3f
9 years ago
314d022e38
add abstraction of access path, use in access path set domain
...
Reviewed By: dkgi
Differential Revision: D3521054
fbshipit-source-id: 3ff515b
9 years ago
7544e500bf
adding finite access paths, tests, and basic utilities
...
Reviewed By: dkgi
Differential Revision: D3502236
fbshipit-source-id: b49bb32
9 years ago
Peter O'Hearn
Sam Blackshear
Josh Berdine