projects / platform / upstream / gcc.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
analyzer: eliminate region_model::on_ fns for sockets
2022-11-24 David Malcolmanalyzer: eliminate region_model::on_ fns for sockets
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-24 David Malcolmanalyzer: move known funs for fds to sm-fd.cc
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: only look for named functions in root ns...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: fix ICE on 'bind(INT_CST, ...)' [PR107783]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: fix 'errno' on Solaris and OS X [PR107807]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: eliminate region_model::impl_call_* special...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: fix ICE on 'bind' that returns a struct ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: fix ICE on 'bind' with non-pointer arg [P107783]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer: fix ICE on writes to errno [PR107777]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-22 David Malcolmanalyzer, testsuite: add more examples taken from CWE
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-19 David Malcolmanalyzer: fix feasibility false +ve on jumps through...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-18 David Malcolmanalyzer: move more impl_* to known_function
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-17 David Malcolmc, analyzer: fix ICE with -fanalyzer and -Wunused-macros...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-16 David Malcolmanalyzer: more test coverage for named constants
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-16 David Malcolmanalyzer: log the stashing of named constants [PR107711]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-16 David Malcolmanalyzer: use known_function to simplify region_model...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-16 David Malcolmanalyzer: split out checker-path.cc into a new checker...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-15 David Malcolmanalyzer: add warnings relating to sockets [PR106140]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-15 David Malcolmc, analyzer: support named constants in analyzer [PR106302]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-13 David Malcolmanalyzer: new warning: -Wanalyzer-tainted-assertion...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-11 David Malcolmanalyzer: more state machine documentation
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-11 David Malcolmanalyzer: split out checker_event classes to their...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-11 David Malcolmanalyzer: new warning: -Wanalyzer-infinite-recursion...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-10 David Malcolmanalyzer: new warning: -Wanalyzer-deref-before-check...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-09 David Malcolmanalyzer: better logging of event creation
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-08 David Malcolmanalyzer: eliminate region_model::eval_condition_without_cm...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-08 David Malcolmanalyzer: start adding support for errno
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-08 David Malcolmanalyzer: introduce succeed_or_fail_call_info
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-08 David Malcolmanalyzer: fix "when 'strchr' returns non-NULL" message
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for state machines from...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for known functions
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr during bifurcation
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for checker_event
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for feasibility_problems...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for custom_edge_info...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for saved_diagnostic...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: use std::unique_ptr for pending_diagnostic...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David MalcolmAdd gcc/make-unique.h
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-11-03 David Malcolmanalyzer: fix ICE when pipe's arg isn't a pointer ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-26 David Malcolmanalyzer: fixes to file-descriptor handling
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-26 David Malcolmanalyzer: add sm-fd.dot
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-24 David Malcolmanalyzer: fix ICE on va_copy [PR107349]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-24 David Malcolmanalyzer: handle (NULL == &VAR) [PR107345]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-24 David Malcolmanalyzer: simplify sm_state_map lookup
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-24 David Malcolmanalyzer: handle "pipe" and "pipe2" [PR106300]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-19 David Malcolmanalyzer: fix ICE on __builtin_ms_va_copy [PR105765]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-13 David Malcolmanalyzer: fix ICE introduced in r13-3168 [PR107210]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-07 David Malcolmanalyzer: extract bits from integer constants [PR105783]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-06 David Malcolmanalyzer: fix another ICE in PR 107158
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-06 David Malcolmanalyzer: fixes to call_summary_replay::dump_to_pp
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: add regression test for PR 107158
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: simplify some includes
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: fix ICEs seen with call summaries on PR 107060
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: revamp side-effects of call summaries [PR107072]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: move region_model_manager decl to its own...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: fold -(-(VAL)) to VAL
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-10-05 David Malcolmanalyzer: widening_svalues take a function_point rather...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-09-22 David Malcolmc: fix uninitialized c_expr::m_decimal [PR106830]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-09-09 David Malcolmanalyzer: implement trust boundaries via a plugin for...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-09-09 David Malcolmanalyzer: add support for plugin-supplied known function...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-09-09 David Malcolmanalyzer: add test coverage for flexible array members...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-09-02 David Malcolmc/c++: new warning: -Wxor-used-as-pow [PR90885]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-15 David Malcolmanalyzer: fix direction of -Wanalyzer-out-of-bounds...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-15 David Malcolmanalyzer: better fix for -Wanalyzer-use-of-uninitialized...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-09 David Malcolmanalyzer: fix missing -Wanalyzer-use-of-uninitialized...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-09 David Malcolmdocs: add notes on which functions -fanalyzer has hardcoded...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-05 David MalcolmNew warning: -Wanalyzer-jump-through-null [PR105947]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-01 David Malcolmc: improvements to address space diagnostics
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-08-01 David Malcolmdocs: fix copy&paste error in -Wanalyzer-putenv-of...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-28 David Malcolmanalyzer: new warning: -Wanalyzer-putenv-of-auto-var...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-28 David Malcolmanalyzer: add CWE identifier URLs to docs
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-28 David Malcolmanalyzer: expand the comment in region.h
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-28 David Malcolmjit: update docs to reflect .c to .cc renaming
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-26 David Malcolmanalyzer: fix false +ves from -Wanalyzer-va-arg-type...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-26 David Malcolmanalyzer: fix stray get_element decls
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-22 David Malcolmanalyzer: fix state explosion on va_arg [PR106413]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-22 David Malcolmanalyzer: fix ICE in binding_cluster ctor [PR106401]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-21 David Malcolmanalyzer: fix -Wanalyzer-va-list-exhausted false +ve...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-21 David Malcolmanalyzer: bulletproof taint warnings against NULL m_arg
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-21 David Malcolmanalyzer: fix ICE on untracked decl_regions [PR106374]
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-20 David Malcolmanalyzer: update "tainted" state of RHS in comparisons...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-20 David Malcolmanalyzer: don't track string literals in the store...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-19 David Malcolmanalyzer: fix taint handling of switch statements ...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-19 David Malcolmanalyzer: log out-edge description in exploded_graph...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-15 David Malcolmanalyzer: fix taint false positive on optimized range...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-15 David Malcolmanalyzer: documentation nits relating to new fd warnings
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-07 David Malcolmanalyzer: use label_text for superedge::get_description
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-07 David MalcolmConvert label_text to C++11 move semantics
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-07 David Malcolmanalyzer: fix false positives from -Wanalyzer-tainted...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-07-06 David Malcolmanalyzer: fix uninit false positive with -ftrivial...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David MalcolmAdd 'final' and 'override' in various places
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David Malcolmi386: add 'final' and 'override' to scalar_chain vfunc...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David Malcolmtree-switch-conversion.h: use final/override for cluster...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David Malcolmexpr.cc: use final/override on op_by_pieces_d vfuncs
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David MalcolmAdd 'final' and 'override' on dom_walker vfunc impls
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-27 David MalcolmAdd 'final' and 'override' to opt_pass vfunc impls
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-24 David Malcolmanalyzer: consolidate call_string instances
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-24 David Malcolmanalyzer: whitespace cleanups
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-23 David Malcolmdiagnostics: add ability to associate diagnostics with...
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
2022-06-16 David Malcolmgimple-ssa-warn-access.cc: add missing auto_diagnostic_group
Signed-off-by: David Malcolm <dmalcolm@redhat.com>
 commit | commitdiff | tree
next
Domain: System / Toolchain;