summaryrefslogtreecommitdiff
path: root/src/analysis
AgeCommit message (Expand)AuthorFilesLines
2015-06-25Dont add empty vars in MODIFY_EXPR node.Andrei Karas1-2/+5
2015-06-25Improve detecting null pointers in COMPONENT_REF.Andrei Karas1-13/+16
2015-06-25Add into analysis node INIT_EXPR.Andrei Karas3-0/+23
2015-06-25Add into analysis node NON_LVALUE_EXPR.Andrei Karas3-1/+21
2015-06-25Add support for detecting with normal variables also fields.Andrei Karas3-13/+78
2015-06-25Fix some false positives and other issues related to linked vars.Andrei Karas4-25/+51
2015-06-24Add analysis for node CLEANUP_POINT_EXPR.Andrei Karas3-0/+23
2015-06-24Fix false positive report for first pointer argument for function (not method).Andrei Karas1-2/+9
2015-06-24Reorder child nodes in BIND_EXPR.Andrei Karas1-3/+15
2015-06-24Check only first function parameter and only if this is not FUNCTION_DECL.Andrei Karas1-3/+22
2015-06-23Add analysis for CALL_EXPR.Andrei Karas3-0/+27
2015-06-23Fix false positive for ADDR_EXPR node.Andrei Karas3-0/+27
2015-06-23Add analysis for node TRUTH_OR_EXPR.Andrei Karas3-0/+17
2015-06-23Add analysis for node TRUTH_AND_EXPR.Andrei Karas3-0/+17
2015-06-23Move TRUTH_ORIF_EXPR analysis into shared function.Andrei Karas1-7/+12
2015-06-23Move TRUTH_ANDIF_EXPR analysis into shared function.Andrei Karas1-7/+12
2015-06-23Skip NOP_EXPR while walking tree.Andrei Karas1-0/+2
2015-06-23Add NOP_EXPR into analysis.Andrei Karas3-0/+17
2015-06-23Fix conditions like "if (expr && badexpr)"Andrei Karas1-1/+1
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-22Fix issue in related variables checks.Andrei Karas4-0/+43
2015-06-22Add support for related checks for "linked" variables.Andrei Karas4-17/+45
2015-06-22Remove possible variables for check for parents if need.Andrei Karas1-1/+5
2015-06-22In places where searched function parameters nodes (PARM_DECL)Andrei Karas2-5/+5
2015-06-22Add analysis for code like "type *var = parm"Andrei Karas6-8/+94
2015-06-22Dont report null pointer if variable was directly used.Andrei Karas1-1/+1
2015-06-21Fix nested IF_STMT nodes analysis.Andrei Karas1-1/+2
2015-06-21Fix nested COND_EXPR nodes analysis.Andrei Karas1-2/+2
2015-06-21Add basic analysis for node COMPOUND_EXPR.Andrei Karas3-0/+44
2015-06-21Fix COND_EXPR if in both branches return happend.Andrei Karas1-1/+1
2015-06-21fix COND_EXPR for C code.Andrei Karas1-0/+37
2015-06-20Add analysis for node COND_EXPR.Andrei Karas3-0/+65
2015-06-20Add support for not ignore already checked vars in complex expressions.Andrei Karas1-0/+4
2015-06-20Add support for ignore already checked vars in complex expressions.Andrei Karas3-2/+26
2015-06-19Fix issue if both "if" branches terminated by return.Andrei Karas1-0/+12
2015-06-19Fix some "if (expr && expr)" and "if (expr || expr)" issues.Andrei Karas2-36/+24
2015-06-19Fix some issues in expressions like this "if (EXPR || EXPR)"Andrei Karas3-11/+32
2015-06-19Improve expression analysis.Andrei Karas4-11/+44
2015-06-19Switch analysis IF_STMT to new way. Add special expression flags for future u...Andrei Karas3-117/+67
2015-06-18Add basic analysis for node TRUTH_ANDIF_EXPR.Andrei Karas5-6/+52
2015-06-18Improve analysis for nodes EQ_EXPR, NE_EXPR, TRUTH_ORIF_EXPR (incomplete).Andrei Karas5-11/+51
2015-06-18Add basic analysis for nodes EQ_EXPR and TRUTH_ORIF_EXPR.Andrei Karas3-1/+45
2015-06-18Add basic analysis for node NE_EXPR.Andrei Karas4-3/+37
2015-06-18Add support for checking is return present inside if statement.Andrei Karas3-1/+20
2015-06-17Add fake support for checking is return present inside if statemenets.Andrei Karas5-7/+34
2015-06-17Skip for analysis first function parameter if it names "this".Andrei Karas1-0/+2
generated by cgit v1.2.3-60-g2f50 (git 2.42.0) at 2024-07-04 15:40:15 +0000