aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)AuthorFilesLines
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm1-2/+2
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm1-5/+24
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm1-11/+19
2023-01-16Update copyright years.Jakub Jelinek1-1/+1
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm1-29/+34
2022-11-30analyzer: unify bounds-checking class hierarchiesDavid Malcolm1-19/+5
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm1-4/+1
2022-11-18analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]David Malcolm1-4/+10
2022-11-16analyzer: log the stashing of named constants [PR107711]David Malcolm1-16/+34
2022-11-16analyzer: use known_function to simplify region_model::on_call_{pre,post}David Malcolm1-0/+2
2022-11-15analyzer: add warnings relating to sockets [PR106140]David Malcolm1-19/+41
2022-11-15c, analyzer: support named constants in analyzer [PR106302]David Malcolm1-0/+1
2022-11-11analyzer: new warning: -Wanalyzer-infinite-recursion [PR106147]David Malcolm1-1/+6
2022-11-10analyzer: new warning: -Wanalyzer-deref-before-check [PR99671]David Malcolm1-0/+16
2022-11-03analyzer: use std::unique_ptr for state machines from pluginsDavid Malcolm1-2/+2
2022-11-03analyzer: use std::unique_ptr for known functionsDavid Malcolm1-2/+2
2022-11-03analyzer: use std::unique_ptr during bifurcationDavid Malcolm1-10/+8
2022-11-03analyzer: use std::unique_ptr for checker_eventDavid Malcolm1-18/+22
2022-11-03analyzer: use std::unique_ptr for feasibility_problems and exploded_pathDavid Malcolm1-4/+5
2022-11-03analyzer: use std::unique_ptr for custom_edge_info pointersDavid Malcolm1-33/+19
2022-11-03analyzer: use std::unique_ptr for saved_diagnostic::m_stmt_finderDavid Malcolm1-4/+4
2022-11-03analyzer: use std::unique_ptr for pending_diagnostic/noteDavid Malcolm1-21/+20
2022-10-24analyzer: simplify sm_state_map lookupDavid Malcolm1-38/+9
2022-10-24analyzer: handle "pipe" and "pipe2" [PR106300]David Malcolm1-0/+15
2022-10-05analyzer: simplify some includesDavid Malcolm1-6/+0
2022-10-05analyzer: fix ICEs seen with call summaries on PR 107060David Malcolm1-0/+2
2022-10-05analyzer: remove unused variablesMartin Liska1-4/+1
2022-10-04analyzer: revamp side-effects of call summaries [PR107072]David Malcolm1-18/+183
2022-09-09analyzer: add support for plugin-supplied known function behaviorsDavid Malcolm1-1/+15
2022-08-05New warning: -Wanalyzer-jump-through-null [PR105947]David Malcolm1-0/+49
2022-07-19analyzer: fix taint handling of switch statements [PR106321]David Malcolm1-0/+26
2022-07-19analyzer: log out-edge description in exploded_graph::process_nodeDavid Malcolm1-2/+6
2022-07-15libcpp: Improve encapsulation of label_textJonathan Wakely1-1/+1
2022-07-07analyzer: use label_text for superedge::get_descriptionDavid Malcolm1-3/+2
2022-06-24analyzer: consolidate call_string instancesDavid Malcolm1-19/+20
2022-06-24analyzer: whitespace cleanupsDavid Malcolm1-126/+127
2022-06-15analyzer: fix up paths for inlining (PR analyzer/105962)David Malcolm1-1/+1
2022-06-15analyzer: show saved diagnostics as nodes in .eg.dot dumpsDavid Malcolm1-0/+21
2022-05-23analyzer: use 'final' and 'override' where appropriateDavid Malcolm1-5/+5
2022-05-20Use "final" and "override" directly, rather than via macrosDavid Malcolm1-45/+45
2022-05-16analyzer: implement four new warnings for <stdarg.h> misuses [PR105103]David Malcolm1-0/+22
2022-05-16Use more ARRAY_SIZE.Martin Liska1-1/+1
2022-05-11analyzer: fix memory leaksDavid Malcolm1-13/+16
2022-04-28analyzer: add .fpath.txt dumps to -fdump-analyzer-feasibilityDavid Malcolm1-0/+9
2022-03-24analyzer: add region::tracked_p to optimize state objects [PR104954]David Malcolm1-0/+3
2022-03-23analyzer: fix accessing wrong stack frame on interprocedural return [PR104979]David Malcolm1-2/+2
2022-03-23analyzer: fix ICE adding note to disabled diagnostic [PR104997]David Malcolm1-6/+3
2022-03-18analyzer: extend state-purging to locals [PR104943]David Malcolm1-1/+1
2022-03-16analyzer: early rejection of disabled warnings [PR104955]David Malcolm1-1/+6
2022-03-10analyzer: add notes to write-to-const/string from access attr [PR104793]David Malcolm1-0/+10
generated by cgit v1.1 at 2025-01-23 09:11:31 +0000