fd8a864c15
doing preanalysis on-demand
...
Reviewed By: jeremydubreil
Differential Revision: D3352767
fbshipit-source-id: a9dcc0a
9 years ago
617ffab0ac
Add @generated comment to icfg.dot files
...
Reviewed By: jvillard
Differential Revision: D3358243
fbshipit-source-id: a47cc01
9 years ago
20925df57c
removing unused deallocate param in nullify instr
...
Reviewed By: jeremydubreil
Differential Revision: D3263241
fbshipit-source-id: b0d2c0f
9 years ago
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
d366bb970b
Create the procdescs for frontend checks only when needed
...
Reviewed By: sblackshear, ddino
Differential Revision: D3173939
fb-gh-sync-id: 236898b
fbshipit-source-id: 236898b
9 years ago
44491679cf
Fix broken tests in master
...
Reviewed By: jvillard, sblackshear
Differential Revision: D3151081
fb-gh-sync-id: 86e66e0
fbshipit-source-id: 86e66e0
9 years ago
e9cb9f4352
assign pointer type checker
...
Reviewed By: dulmarod
Differential Revision: D3125521
fb-gh-sync-id: 33c4693
fbshipit-source-id: 33c4693
9 years ago
be8f25c90b
Improved/simplified framework for frontend checkers.
...
Summary:public
Improved/simplified framework for fronend checkers.
Now we have a unique hook from cTrans to run checkers on statements and a unique
hook from cFrontent to run checkers on declarations.
So now when adding a checker we don't have to modify cTrans/cFrontend.
Moreover made more sistematic the way checkers are invoked. This simplify the definition
of checkers and the way we use them.
Code is now simpler.
Reviewed By: jvillard
Differential Revision: D2976589
fb-gh-sync-id: fbe22d4
shipit-source-id: fbe22d4
9 years ago
4584f7f6fc
[clang-format] Reformat all c/cpp/objc sources with clang-format
...
Reviewed By: jul
Differential Revision: https://phabricator.fb.com/D2953843
9 years ago
d7655a087e
[clang] Adding getters and setters for all the methods
10 years ago
3e199467f4
Complete copyright messages.
10 years ago
b8982270f2
initial synchronization
10 years ago
Sam Blackshear
Andrzej Kotulski
Dulma Rodriguez
Dino Distefano
Cristiano Calcagno
Open Source Synchronization