x213212/Static-analyzer-in-gccplugin
Try to build a static analyzer in Gcc Plugin, the main application scenario is to detect memory-leak,double-free,use-after-free.
C++MIT
Issues
- 0
Linked List detect?
#19 opened by x213212 - 0
var_decl == var_dec;
#1 opened by x213212 - 0
trace caller
#2 opened by x213212 - 0
free fucntion type
#3 opened by x213212 - 1
double free check support
#4 opened by x213212 - 1
memory leak check support
#5 opened by x213212 - 0
need add free collect table
#6 opened by x213212 - 0
support phi branch
#7 opened by x213212 - 0
need add multiple thread lock block
#8 opened by x213212 - 0
need add lock and unlock table
#9 opened by x213212 - 4
free error trace
#10 opened by x213212 - 0
- 1
\benchmarks \git
#12 opened by x213212 - 1
need check fucntion call num
#13 opened by x213212 - 1
- 1
binutils\leak_6 specical case
#15 opened by x213212 - 0
pre add pthread created memory leak
#16 opened by x213212 - 0
pre add array_ref
#17 opened by x213212 - 0
pre add pthread_created arg 3
#18 opened by x213212