summaryrefslogtreecommitdiff
AgeCommit message (Collapse)AuthorFilesLines
2015-06-23Fix some issues in TRUTH_ANDIF_EXPR analysis.Andrei Karas1-0/+6
2015-06-23Combine analysis code for IF_STMT and COND_EXPR into same function.Andrei Karas3-95/+38
2015-06-23Use same code in IF_STMT and COND_EXPR.Andrei Karas2-38/+41
2015-06-23Fix some scope issues. Can be tested with future test 21.Andrei Karas2-2/+10
2015-06-22skip nop node in DECL_EXPR.Andrei Karas1-1/+1
2015-06-22Add test 20.Andrei Karas6-1/+1426
2015-06-22Add test 19.Andrei Karas5-0/+1028
2015-06-22Fix issue in related variables checks.Andrei Karas4-0/+43
2015-06-22Add support for related checks for "linked" variables.Andrei Karas5-49/+72
Example: void func(int *ptr1) { int *ptr2 = ptr1; if (!ptr1) return; *ptr2 = 10; } here will be no warning.
2015-06-22Remove possible variables for check for parents if need.Andrei Karas1-1/+5
Also dont report about null pointer with empty variable name. This can happend in autogenerated pseudo functions.
2015-06-22Update test results.Andrei Karas4-63/+51
2015-06-22Add test 19.Andrei Karas6-1/+656
2015-06-22In places where searched function parameters nodes (PARM_DECL)Andrei Karas2-5/+5
also search for varibles (VAR_DECL).
2015-06-22Add analysis for code like "type *var = parm"Andrei Karas8-10/+103
Now var can be checked for nulls too. Also extend debug logging.
2015-06-22Dont report null pointer if variable was directly used.Andrei Karas1-1/+1
For example: int *ptr2 = ptr1;
2015-06-22Fix formatting a bit in readmes.Andrei Karas2-2/+4
2015-06-22Fix tables in readme again.Andrei Karas2-2/+4
2015-06-22Try to fix tables in readmes.Andrei Karas2-20/+20
2015-06-22Add advanced usage into readmes.Andrei Karas2-0/+36
2015-06-22Add AST links into readme files.Andrei Karas2-2/+2
2015-06-22Add real world examples into readmes.v1.0Andrei Karas2-0/+7
2015-06-22Fix gcc link in README files.Andrei Karas2-2/+2
2015-06-22Fix links in README files.Andrei Karas2-5/+5
2015-06-22Add readme files.Andrei Karas2-0/+58
2015-06-22Use in tests so files from root directory.Andrei Karas2-5/+3
2015-06-22Add links to so libs in root directory.Andrei Karas2-0/+2
2015-06-22Add examples.Andrei Karas4-0/+288
2015-06-22Use by default plugin command detectnullpointers.Andrei Karas1-1/+1
2015-06-21Add test 18.Andrei Karas6-1/+925
2015-06-21Fix nested IF_STMT nodes analysis.Andrei Karas1-1/+2
2015-06-21Fix nested COND_EXPR nodes analysis.Andrei Karas2-3/+3
2015-06-21Add test 17.Andrei Karas6-1/+828
2015-06-21Add more fields in debug logging.Andrei Karas1-0/+14
2015-06-21Add basic analysis for node COMPOUND_EXPR.Andrei Karas4-1/+45
2015-06-21Update test results.Andrei Karas2-121/+79
2015-06-21Fix infinite loop in BLOCK node.Andrei Karas1-2/+4
2015-06-21Add protection against infinite loop.Andrei Karas1-0/+12
2015-06-21Add test16.Andrei Karas6-1/+1144
2015-06-21Add test15.Andrei Karas6-1/+3309
2015-06-21Fix COND_EXPR if in both branches return happend.Andrei Karas2-1/+3
2015-06-21Add test14.Andrei Karas6-1/+974
2015-06-21fix COND_EXPR for C code.Andrei Karas1-0/+37
In C code COND_EXPR used like IF_STMT in C++.
2015-06-21Add test13.Andrei Karas7-1/+952
2015-06-21Return most nodes support for C plugin.Andrei Karas12-19/+63
For workaround building issues was added file custom/fixed-cp-tree.h
2015-06-21Update tests for support separate C and C++ plugins.Andrei Karas18-523/+523
2015-06-21Add support for build separate plugin for C and C++.Andrei Karas19-3/+48
2015-06-20Add test 12.Andrei Karas6-1/+1665
2015-06-20Add analysis for node COND_EXPR.Andrei Karas3-0/+65
This allow check expressions like: expr ? expr : expr
2015-06-20Update test 11. Update test results.Andrei Karas7-79/+1141
2015-06-20Add support for not ignore already checked vars in complex expressions.Andrei Karas1-0/+4
Example: if (!a && a->b) if (a || a->b)