projects
/
platform
/
upstream
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
analyzer: introduce struct event_loc_info
[platform/upstream/gcc.git]
/
gcc
/
analyzer
/
region-model.cc
2022-12-02
David Malcolm
analyzer: introduce struct event_loc_info
blob
|
commitdiff
2022-12-02
David Malcolm
analyzer: fixes to region creation messages [PR107851]
blob
|
commitdiff
|
diff to current
2022-12-02
David Malcolm
analyzer: handle comparisons against negated symbolic...
blob
|
commitdiff
|
diff to current
2022-12-01
David Malcolm
analyzer: move bounds checking to a new bounds-checking.cc
blob
|
commitdiff
|
diff to current
2022-11-24
David Malcolm
analyzer: revamp of heap-allocated regions [PR106473]
blob
|
commitdiff
|
diff to current
2022-11-22
David Malcolm
analyzer: eliminate region_model::impl_call_* special...
blob
|
commitdiff
|
diff to current
2022-11-22
David Malcolm
analyzer: fix ICE on 'bind' that returns a struct ...
blob
|
commitdiff
|
diff to current
2022-11-22
David Malcolm
analyzer: fix ICE on writes to errno [PR107777]
blob
|
commitdiff
|
diff to current
2022-11-18
David Malcolm
analyzer: move more impl_* to known_function
blob
|
commitdiff
|
diff to current
2022-11-16
David Malcolm
analyzer: use known_function to simplify region_model...
blob
|
commitdiff
|
diff to current
2022-11-15
David Malcolm
analyzer: add warnings relating to sockets [PR106140]
blob
|
commitdiff
|
diff to current
2022-11-15
David Malcolm
c, analyzer: support named constants in analyzer [PR106302]
blob
|
commitdiff
|
diff to current
2022-11-10
David Malcolm
analyzer: new warning: -Wanalyzer-deref-before-check...
blob
|
commitdiff
|
diff to current
2022-11-08
David Malcolm
analyzer: eliminate region_model::eval_condition_withou...
blob
|
commitdiff
|
diff to current
2022-11-08
David Malcolm
analyzer: start adding support for errno
blob
|
commitdiff
|
diff to current
2022-11-08
David Malcolm
analyzer: fix "when 'strchr' returns non-NULL" message
blob
|
commitdiff
|
diff to current
2022-11-03
David Malcolm
analyzer: use std::unique_ptr during bifurcation
blob
|
commitdiff
|
diff to current
2022-11-03
David Malcolm
analyzer: use std::unique_ptr for pending_diagnostic...
blob
|
commitdiff
|
diff to current
2022-11-03
David Malcolm
analyzer: fix ICE when pipe's arg isn't a pointer ...
blob
|
commitdiff
|
diff to current
2022-10-24
David Malcolm
analyzer: handle (NULL == &VAR) [PR107345]
blob
|
commitdiff
|
diff to current
2022-10-24
David Malcolm
analyzer: handle "pipe" and "pipe2" [PR106300]
blob
|
commitdiff
|
diff to current
2022-10-07
David Malcolm
analyzer: extract bits from integer constants [PR105783]
blob
|
commitdiff
|
diff to current
2022-10-05
David Malcolm
analyzer: simplify some includes
blob
|
commitdiff
|
diff to current
2022-10-05
David Malcolm
analyzer: fix ICEs seen with call summaries on PR 107060
blob
|
commitdiff
|
diff to current
2022-10-05
David Malcolm
analyzer: revamp side-effects of call summaries [PR107072]
blob
|
commitdiff
|
diff to current
2022-10-05
David Malcolm
analyzer: widening_svalues take a function_point rather...
blob
|
commitdiff
|
diff to current
2022-09-12
Martin Liska
analyzer: remove unused fields
blob
|
commitdiff
|
diff to current
2022-09-11
Tim Lange
analyzer: consider empty ranges and zero byte accesses...
blob
|
commitdiff
|
diff to current
2022-09-09
David Malcolm
analyzer: implement trust boundaries via a plugin for...
blob
|
commitdiff
|
diff to current
2022-09-09
David Malcolm
analyzer: add support for plugin-supplied known functio...
blob
|
commitdiff
|
diff to current
2022-09-08
Tim Lange
analyzer: support for symbolic values in the out-of...
blob
|
commitdiff
|
diff to current
2022-09-05
Tim Lange
analyzer: strcpy semantics
blob
|
commitdiff
|
diff to current
2022-08-22
Martin Liska
analyzer: add missing final keyword
blob
|
commitdiff
|
diff to current
2022-08-18
Tim Lange
analyzer: warn on the use of floating-points operands...
blob
|
commitdiff
|
diff to current
2022-08-16
Martin Liska
analyzer: add more final override keywords
blob
|
commitdiff
|
diff to current
2022-08-15
David Malcolm
analyzer: fix direction of -Wanalyzer-out-of-bounds...
blob
|
commitdiff
|
diff to current
2022-08-15
David Malcolm
analyzer: better fix for -Wanalyzer-use-of-uninitialize...
blob
|
commitdiff
|
diff to current
2022-08-12
Tim Lange
analyzer: out-of-bounds checker [PR106000]
blob
|
commitdiff
|
diff to current
2022-08-09
David Malcolm
analyzer: fix missing -Wanalyzer-use-of-uninitialized...
blob
|
commitdiff
|
diff to current
2022-07-28
David Malcolm
analyzer: new warning: -Wanalyzer-putenv-of-auto-var...
blob
|
commitdiff
|
diff to current
2022-07-22
Tim Lange
Fix handling of zero capacity regions in -Wanalyzer...
blob
|
commitdiff
|
diff to current
2022-07-19
David Malcolm
analyzer: fix taint handling of switch statements ...
blob
|
commitdiff
|
diff to current
2022-07-06
David Malcolm
analyzer: fix uninit false positive with -ftrivial...
blob
|
commitdiff
|
diff to current
2022-07-02
Tim Lange
analyzer: add allocation size checker [PR105900]
blob
|
commitdiff
|
diff to current
2022-06-24
David Malcolm
analyzer: consolidate call_string instances
blob
|
commitdiff
|
diff to current
2022-05-23
David Malcolm
analyzer: use 'final' and 'override' where appropriate
blob
|
commitdiff
|
diff to current
2022-05-20
David Malcolm
Use "final" and "override" directly, rather than via...
blob
|
commitdiff
|
diff to current
2022-05-16
David Malcolm
analyzer: implement four new warnings for <stdarg.h...
blob
|
commitdiff
|
diff to current
2022-03-29
David Malcolm
analyzer: ensure that we purge state when reusing a...
blob
|
commitdiff
|
diff to current
2022-03-23
David Malcolm
analyzer: fix accessing wrong stack frame on interproce...
blob
|
commitdiff
|
diff to current
2022-03-18
David Malcolm
analyzer: extend state-purging to locals [PR104943]
blob
|
commitdiff
|
diff to current
2022-03-16
David Malcolm
analyzer: early rejection of disabled warnings [PR104955]
blob
|
commitdiff
|
diff to current
2022-03-10
David Malcolm
analyzer: add notes to write-to-const/string from acces...
blob
|
commitdiff
|
diff to current
2022-03-10
David Malcolm
analyzer: check for writes to consts via access attr...
blob
|
commitdiff
|
diff to current
2022-02-23
David Malcolm
analyzer: handle __attribute__((const)) [PR104434]
blob
|
commitdiff
|
diff to current
2022-02-17
David Malcolm
analyzer: const functions have no side effects [PR104576]
blob
|
commitdiff
|
diff to current
2022-02-15
David Malcolm
analyzer: fix uninit false +ve due to optimized conditi...
blob
|
commitdiff
|
diff to current
2022-02-11
David Malcolm
analyzer: ignore uninitialized uses of empty types...
blob
|
commitdiff
|
diff to current
2022-02-09
David Malcolm
analyzer: fix hashing of bit_range_region::key_t [PR104452]
blob
|
commitdiff
|
diff to current
2022-02-02
David Malcolm
analyzer: fix missing check for uninit of return values
blob
|
commitdiff
|
diff to current
2022-02-02
David Malcolm
analyzer: implement bit_range_region
blob
|
commitdiff
|
diff to current
2022-02-02
David Malcolm
analyzer: stop -ftrivial-auto-var-init from suppressing...
blob
|
commitdiff
|
diff to current
2022-01-27
David Malcolm
analyzer: show region creation events for uninit warnings
blob
|
commitdiff
|
diff to current
2022-01-26
David Malcolm
analyzer: fix missing uninit warning on args to stdio...
blob
|
commitdiff
|
diff to current
2022-01-20
David Malcolm
analyzer: reject ((i + 1 > 0) && (i < 0)) for integers...
blob
|
commitdiff
|
diff to current
2022-01-11
David Malcolm
analyzer: fix false +ve on bitwise binops (PR analyzer...
blob
|
commitdiff
|
diff to current
2022-01-08
David Malcolm
analyzer: add logging of aliasing
blob
|
commitdiff
|
diff to current
2022-01-08
David Malcolm
analyzer: implement __analyzer_dump_escaped
blob
|
commitdiff
|
diff to current
2022-01-03
Jakub Jelinek
Update copyright years.
blob
|
commitdiff
|
diff to current
2021-11-19
David Malcolm
analyzer: fix false leak due to overeager state merging...
blob
|
commitdiff
|
diff to current
2021-11-17
David Malcolm
analyzer: fix missing -Wanalyzer-write-to-const [PR102695]
blob
|
commitdiff
|
diff to current
2021-11-13
David Malcolm
analyzer: add four new taint-based warnings
blob
|
commitdiff
|
diff to current
2021-09-08
David Malcolm
analyzer: fix ICE when discarding result of realloc...
blob
|
commitdiff
|
diff to current
2021-08-30
David Malcolm
analyzer: support "bifurcation"; reimplement realloc...
blob
|
commitdiff
|
diff to current
2021-08-23
David Malcolm
analyzer: rewrite of switch handling
blob
|
commitdiff
|
diff to current
2021-08-23
David Malcolm
analyzer: assume that POINTER_PLUS_EXPR of non-NULL...
blob
|
commitdiff
|
diff to current
2021-08-21
Ankur Saini
analyzer: Fix PR analyzer/101980
blob
|
commitdiff
|
diff to current
2021-08-18
Ankur Saini
analyzer: detect and analyze virtual function calls
blob
|
commitdiff
|
diff to current
2021-08-18
Ankur Saini
analyzer: detect and analyze calls via function pointer
blob
|
commitdiff
|
diff to current
2021-08-04
David Malcolm
analyzer: initial implementation of asm support [PR101570]
blob
|
commitdiff
|
diff to current
2021-07-28
David Malcolm
analyzer: play better with -fsanitize=bounds
blob
|
commitdiff
|
diff to current
2021-07-28
David Malcolm
analyzer: remove redundant return value from various...
blob
|
commitdiff
|
diff to current
2021-07-26
David Malcolm
analyzer: fix uninit false +ve when returning structs
blob
|
commitdiff
|
diff to current
2021-07-21
David Malcolm
analyzer: fix issues with phi handling
blob
|
commitdiff
|
diff to current
2021-07-19
David Malcolm
analyzer: add svalue::can_have_associated_state_p ...
blob
|
commitdiff
|
diff to current
2021-07-16
David Malcolm
analyzer: add region_model::check_region_access
blob
|
commitdiff
|
diff to current
2021-07-16
David Malcolm
analyzer: add svalue::maybe_get_region
blob
|
commitdiff
|
diff to current
2021-07-15
David Malcolm
analyzer: reimplement -Wanalyzer-use-of-uninitialized...
blob
|
commitdiff
|
diff to current
2021-07-07
David Malcolm
analyzer: remove add_any_constraints_from_ssa_def_stmt
blob
|
commitdiff
|
diff to current
2021-06-30
David Malcolm
analyzer: eliminate enum binding_key [PR95006]
blob
|
commitdiff
|
diff to current
2021-06-22
David Malcolm
analyzer: fix ICE on malloc/alloca param type mismatch...
blob
|
commitdiff
|
diff to current
2021-06-18
David Malcolm
analyzer: add region_model_manager::get_or_create_int_cst
blob
|
commitdiff
|
diff to current
2021-06-15
David Malcolm
analyzer: track dynamic extents of regions
blob
|
commitdiff
|
diff to current
2021-06-15
David Malcolm
analyzer: add class region_to_value_map
blob
|
commitdiff
|
diff to current
2021-06-13
Trevor Saunders
use range based for loops to iterate over vec<>
blob
|
commitdiff
|
diff to current
2021-06-09
David Malcolm
analyzer: make various region_model member functions...
blob
|
commitdiff
|
diff to current
2021-06-08
David Malcolm
analyzer: bitfield fixes [PR99212]
blob
|
commitdiff
|
diff to current
2021-04-10
David Malcolm
analyzer: fix ICE on assignment from STRING_CST when...
blob
|
commitdiff
|
diff to current
2021-04-08
David Malcolm
analyzer: fix leak false +ves due to maybe-clobbered...
blob
|
commitdiff
|
diff to current
2021-03-31
David Malcolm
analyzer: avoid printing '<unknown>' for SSA names...
blob
|
commitdiff
|
diff to current
next