Sam Blackshear
|
fd8a864c15
|
doing preanalysis on-demand
Reviewed By: jeremydubreil
Differential Revision: D3352767
fbshipit-source-id: a9dcc0a
|
9 years ago |
Andrzej Kotulski
|
617ffab0ac
|
Add @generated comment to icfg.dot files
Reviewed By: jvillard
Differential Revision: D3358243
fbshipit-source-id: a47cc01
|
9 years ago |
|
Sam Blackshear
|
20925df57c
|
removing unused deallocate param in nullify instr
Reviewed By: jeremydubreil
Differential Revision: D3263241
fbshipit-source-id: b0d2c0f
|
9 years ago |
|
Sam Blackshear
|
4fd2f52fe8
|
new analysis for adding nullify's
Reviewed By: jeremydubreil
Differential Revision: D3241019
fbshipit-source-id: 8409b33
|
9 years ago |
|
Sam Blackshear
|
6f6da12b2c
|
don't nullify params/locals at beginning of procedure
Reviewed By: jeremydubreil
Differential Revision: D3258615
fb-gh-sync-id: 73e4670
fbshipit-source-id: 73e4670
|
9 years ago |
Dulma Rodriguez
|
c6524d799f
|
Translate C++ constructors after new
Reviewed By: akotulski
Differential Revision: D3069663
fb-gh-sync-id: c1d794c
shipit-source-id: c1d794c
|
9 years ago |
|
Dulma Rodriguez
|
06f40efab8
|
Add extra dereference to the variable of the method call to find null dereferences when a method called with null.
Reviewed By: akotulski
Differential Revision: D2954284
fb-gh-sync-id: d9079db
shipit-source-id: d9079db
|
9 years ago |
|
Dulma Rodriguez
|
2fb2b3d9e1
|
Add the virtual flag of C++ methods in method calls
Reviewed By: akotulski
Differential Revision: D2943884
fb-gh-sync-id: 33b1c8b
shipit-source-id: 33b1c8b
|
9 years ago |
