summaryrefslogtreecommitdiff
path: root/gcc/analyzer/engine.cc
AgeCommit message (Expand)Author
2025-10-09analyzer: reimplement binding_map using a "spatial" representationDavid Malcolm
2025-07-11diagnostics: add support for directed graphs; use them for state graphsDavid Malcolm
2025-06-30analyzer: use nullptr rather than NULLDavid Malcolm
2025-06-23diagnostics: add state diagrams to analyzer experimental-html output [PR116792]David Malcolm
2025-04-28analyzer: handle NRVO and DECL_BY_REFERENCE [PR111536]David Malcolm
2025-04-28analyzer: initial implementation of exception handling [PR97111]David Malcolm
2025-04-28Eliminate make-unique.h and ::make_uniqueDavid Malcolm
2025-04-28analyzer: use unique_ptr for state_machine instancesDavid Malcolm
2025-04-28analyzer: convert various call_summary * to call_summary &David Malcolm
2025-04-28analyzer: convert gcall * to gcall & in many placesDavid Malcolm
2025-04-28analyzer: convert various enums to "enum class"David Malcolm
2025-04-28analyzer: use analyzer/common.h as a common headerDavid Malcolm
2025-01-02Update copyright years.Jakub Jelinek
2024-11-27analyzer,timevar: avoid naked "new" in JSON-handlingDavid Malcolm
2024-11-22build: Remove INCLUDE_MEMORY [PR117737]Andrew Pinski
2024-11-01analyzer: use std::unique_ptr in "to_json" functionsDavid Malcolm
2024-10-29diagnostics: support multiple output formats simultaneously [PR116613]David Malcolm
2024-10-24analyzer: avoid implicit use of global_dc's pretty_printer [PR116613]David Malcolm
2024-09-20analyzer: simplify dumps using tree_dump_pretty_printer [PR116613]David Malcolm
2024-09-09diagnostics: rename dc.printer to m_printer [PR116613]David Malcolm
2024-07-24analyzer: reduce use of naked "new" for json dumpsDavid Malcolm
2024-07-04analyzer: convert sm_context * to sm_context &David Malcolm
2024-06-12pretty_printer: make all fields privateDavid Malcolm
2024-06-07analyzer: add logging to get_representative_path_varDavid Malcolm
2024-06-01analyzer: detect -Wanalyzer-allocation-size at call stmts [PR106203]David Malcolm
2024-05-30Add new text_art::tree_widget and use it in analyzerDavid Malcolm
2024-05-03testsuite: fix analyzer C++ failures on Solaris [PR111475]David Malcolm
2024-03-23analyzer: fix ICE and false positive with -Wanalyzer-deref-before-check [PR11...David Malcolm
2024-02-29analyzer: fix ICE in call summarization [PR114159]David Malcolm
2024-01-24analyzer: fix taint false +ve due to overzealous state purging [PR112977]David Malcolm
2024-01-03Update copyright years.Jakub Jelinek
2023-12-11analyzer: fix uninitialized bitmap [PR112955]David Malcolm
2023-12-06analyzer: fix taint false positives with UNKNOWN [PR112850]David Malcolm
2023-12-06diagnostics: prettify JSON output formatsDavid Malcolm
2023-12-01diagnostics, analyzer: add optional per-diagnostic property bags to SARIFDavid Malcolm
2023-11-18analyzer: new warning: -Wanalyzer-undefined-behavior-strtok [PR107573]David Malcolm
2023-11-17analyzer: new warning: -Wanalyzer-infinite-loop [PR106147]David Malcolm
2023-09-15analyzer: introduce pending_locationDavid Malcolm
2023-09-14analyzer: use unique_ptr for rejected_constraintDavid Malcolm
2023-08-30analyzer: implement reference count checking for CPython plugin [PR107646]Eric Feng
2023-08-24analyzer: add logging to impl_path_contextDavid Malcolm
2023-08-21analyzer: add ability for context to add events to a saved_diagnosticDavid Malcolm
2023-06-21analyzer: add text-art visualizations of out-of-bounds accesses [PR106626]David Malcolm
2023-02-21analyzer: stop exploring the path after certain diagnostics [PR108830]David Malcolm
2023-02-15analyzer: fix uninit false +ves [PR108664,PR108666,PR108725]David Malcolm
2023-01-16Update copyright years.Jakub Jelinek
2022-12-02analyzer: introduce struct event_loc_infoDavid Malcolm
2022-11-30analyzer: unify bounds-checking class hierarchiesDavid Malcolm
2022-11-22analyzer: eliminate region_model::impl_call_* special casesDavid Malcolm
2022-11-18analyzer: fix feasibility false +ve on jumps through function ptrs [PR107582]David Malcolm
generated by cgit v1.2.3 (git 2.25.1) at 2026-06-11 01:48:00 +0000