projects
/
platform
/
upstream
/
gcc.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
analyzer: eliminate region_model::on_ fns for sockets
[platform/upstream/gcc.git]
/
gcc
/
analyzer
/
region-model.h
2022-11-24
David Malcolm
analyzer: eliminate region_model::on_ fns for sockets
blob
|
commitdiff
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' with non-pointer arg [P107783]
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-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-10-24
David Malcolm
analyzer: simplify sm_state_map lookup
blob
|
commitdiff
|
diff to current
2022-10-24
David Malcolm
analyzer: handle "pipe" and "pipe2" [PR106300]
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: move region_model_manager decl to its own...
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-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-18
Tim Lange
analyzer: warn on the use of floating-points operands...
blob
|
commitdiff
|
diff to current
2022-08-12
Tim Lange
analyzer: out-of-bounds checker [PR106000]
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-19
David Malcolm
analyzer: fix taint handling of switch statements ...
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-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-04-09
David Malcolm
analyzer: fix folding of regions involving unknown...
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-25
David Malcolm
analyzer: add region::tracked_p to optimize state objec...
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-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-15
David Malcolm
analyzer: fix uninit false +ve due to optimized conditi...
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-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-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-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-21
Ankur Saini
analyzer: Fix PR analyzer/101980
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: remove redundant return value from various...
blob
|
commitdiff
|
diff to current
2021-07-23
David Malcolm
analyzer: fix feasibility false +ve with overly complex...
blob
|
commitdiff
|
diff to current
2021-07-21
David Malcolm
analyzer: fix issues with phi handling
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 __analyzer_dump_state
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-18
David Malcolm
analyzer: add region_model_manager::get_or_create_int_cst
blob
|
commitdiff
|
diff to current
2021-06-15
David Malcolm
analyzer: fix bitfield endianness issues [PR99212,PR101082]
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-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-05-10
Martin Liska
Remove __cplusplus >= 201103
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-02-25
David Malcolm
analyzer: fix false positive on realloc [PR99193]
blob
|
commitdiff
|
diff to current
2021-02-22
David Malcolm
analyzer: handle error/error_at_line [PR99196]
blob
|
commitdiff
|
diff to current
2021-02-12
David Malcolm
analyzer: fix ICE in print_mem_ref [PR98969]
blob
|
commitdiff
|
diff to current
2021-01-18
David Malcolm
analyzer: use "malloc" attribute
blob
|
commitdiff
|
diff to current
2021-01-04
Jakub Jelinek
Update copyright years.
blob
|
commitdiff
|
diff to current
2020-10-29
David Malcolm
analyzer: move svalue and region decls to their own...
blob
|
commitdiff
|
diff to current
2020-10-27
David Malcolm
analyzer: eliminate non-determinism in logs
blob
|
commitdiff
|
diff to current
2020-10-27
David Malcolm
analyzer: implement region_model::get_representative_pa...
blob
|
commitdiff
|
diff to current
2020-10-12
David Malcolm
analyzer: handle static callbacks [PR97258]
blob
|
commitdiff
|
diff to current
2020-10-12
David Malcolm
analyzer: add warnings about writes to constant regions...
blob
|
commitdiff
|
diff to current
2020-09-28
David Malcolm
analyzer: add some missing FINAL OVERRIDEs
blob
|
commitdiff
|
diff to current
2020-09-24
David Malcolm
analyzer: add -fno-analyzer-feasibility
blob
|
commitdiff
|
diff to current
2020-09-22
David Malcolm
analyzer: add -fdump-analyzer-json
blob
|
commitdiff
|
diff to current
2020-09-21
David Malcolm
analyzer: fix ICE on bogus decl of memset [PR97130]
blob
|
commitdiff
|
diff to current
2020-09-11
David Malcolm
analyzer: stricter handling of non-pure builtins [PR96798]
blob
|
commitdiff
|
diff to current
2020-09-09
David Malcolm
analyzer: generalize sm-malloc to new/delete [PR94355]
blob
|
commitdiff
|
diff to current
2020-08-26
David Malcolm
analyzer: fix ICE on initializers for unsized array...
blob
|
commitdiff
|
diff to current
2020-08-19
David Malcolm
analyzer: consider initializers for globals [PR96651]
blob
|
commitdiff
|
diff to current
2020-08-14
David Malcolm
analyzer: fix initialization from constant pool [PR9660...
blob
|
commitdiff
|
diff to current
2020-08-13
David Malcolm
analyzer: rewrite of region and value-handling
blob
|
commitdiff
|
diff to current
2020-04-28
David Malcolm
analyzer: fix ICE copying struct [PR 94816]
blob
|
commitdiff
|
diff to current
2020-04-28
David Malcolm
analyzer: remove -Wanalyzer-use-of-uninitialized-value...
blob
|
commitdiff
|
diff to current
2020-04-01
David Malcolm
analyzer: handle compound assignments [PR94378]
blob
|
commitdiff
|
diff to current
2020-03-27
David Malcolm
analyzer: fix malloc pointer NULL-ness
blob
|
commitdiff
|
diff to current
2020-03-18
David Malcolm
analyzer: make summarized dumps more comprehensive
blob
|
commitdiff
|
diff to current
2020-03-18
David Malcolm
analyzer: introduce noop_region_model_context
blob
|
commitdiff
|
diff to current
2020-03-06
David Malcolm
analyzer: improvements to region_model::get_representat...
blob
|
commitdiff
|
diff to current
2020-03-04
David Malcolm
analyzer: validate region subclasses
blob
|
commitdiff
|
diff to current
next