aboutsummaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)AuthorFilesLines
2025-01-02Update copyright years.Jakub Jelinek1-1/+1
2024-11-27analyzer,timevar: avoid naked "new" in JSON-handlingDavid Malcolm1-1/+1
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski1-1/+0
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm1-17/+15
2024-10-29diagnostics: support multiple output formats simultaneously [PR116613]David Malcolm1-1/+1
2024-10-24analyzer: avoid implicit use of global_dc's pretty_printer [PR116613]David Malcolm1-29/+34
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm1-10/+2
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm1-3/+3
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm1-7/+6
2024-07-04analyzer: convert sm_context * to sm_context &David Malcolm1-4/+4
2024-06-12pretty_printer: make all fields privateDavid Malcolm1-3/+3
2024-06-07analyzer: add logging to get_representative_path_varDavid Malcolm1-1/+2
2024-06-01analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203]David Malcolm1-1/+6
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm1-3/+26
2024-05-03testsuite: fix analyzer C++ failures on Solaris [PR111475]David Malcolm1-1/+1
2024-03-23analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11...David Malcolm1-0/+7
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm1-41/+42
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm1-1/+1
2024-01-03Update copyright years.Jakub Jelinek1-1/+1
2023-12-11analyzer: fix uninitialized bitmap [PR112955]David Malcolm1-0/+1
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm1-0/+5
2023-12-06diagnostics: prettify JSON output formatsDavid Malcolm1-1/+1
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm1-9/+6
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm1-1/+2
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm1-34/+88
2023-09-15analyzer: introduce pending_locationDavid Malcolm1-9/+19
2023-09-14analyzer: use unique_ptr for rejected_constraintDavid Malcolm1-8/+8
2023-08-30analyzer: implement reference count checking for CPython plugin [PR107646]Eric Feng1-3/+5
2023-08-24analyzer: add logging to impl_path_contextDavid Malcolm1-2/+11
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm1-0/+8
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