Public Git Hosting - smatch.git/search

2018-03-07	Dan Carpenter	implied: introduce impossible_assumption() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	buf_size: don't save unnecessary states Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	mtag: push all my changes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	ranges: fix a leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	debug: add __smatch_state_count() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	modification_hooks: don't save the expressions outside... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	var_sym: tweak expr_to_vsl() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	symbol.h: let is_ptr_type() take NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	return_to_param: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	struct_assignment/assigned_expression: save some more... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-06	Dan Carpenter	expressions: free allocated expressions after the end... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-05	Dan Carpenter	rosenberg: check the correct alignment Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-05	Luc Van Oostenryck	fix: do not ignore struct/union/enum type attributes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-05	Luc Van Oostenryck	move up apply_ctype()'s declaration Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-05	Luc Van Oostenryck	add testcases for ignored type attributes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-01	Dan Carpenter	Merge git://git.kernel.org/pub/scm/devel/sparse/sparse... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-27	Dan Carpenter	mtag: fix build error Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-22	Dan Carpenter	helper: fix segfault parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	type_val: dev_get_drvdata() doesn't set the types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	or_vs_and: white space cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	conditions: pass SELECT_HOOK for select assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	estate: white space clean up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	constraints: allow binop constraints Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	smatch_comparison: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	check_kernel: handle fls() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: tight parameter values a bit Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: handle "if (foo & 0x1) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	extra: don't set true/false states if it's the same... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	implied: use assume() even if there are no implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	math: silence hard max false positives Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	slist: don't pass stuff to pre_merge_hooks that isn... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	mtag: kill an endless loop in up coming code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	call_math: initialize some strings Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-21	Dan Carpenter	fn_arg_link: fix an endless loop Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-20	Dan Carpenter	db: fix a segfault parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-19	Dan Carpenter	comparison: improve handling of "if (foo + 1 > limit) " Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	db/comparison: Use mask information to get comparisons Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	comparison: handle __smatch_compare(foo, bar - 1) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	extra: cleanup handle_AND_op() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-16	Dan Carpenter	extra: cleanup handling "if (foo & 0x1) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-13	Dan Carpenter	user_data: silence some false positives with divides Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-13	Dan Carpenter	user_data2: silence some false positives handling ntohl... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-13	Dan Carpenter	conditions: hack around "if (foo \| bar) {" (bitwise OR) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-02-09	Dan Carpenter	data/kernel.ignore_macro_indenting: ignore tcp_skb_tsorted_r... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	db/smdb.py: change some formatting Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	db/smdb.py: fix the PARAM_COMPARE/LIMIT types Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	rosenberg: fix a crashing bug Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	user_data2: do a hack around in the pre_merge_hook() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	constraints: handle conditions like "if (8 < x) {" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	expr_to_chunk_helper: set *sym when there is only one... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	slist: allow show_sm() to accept NULL pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	flow: don't fake an impossible default Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	type_val: record fewer "unknown" assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	flow: set loop_count to zero when parsing inline functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-25	Dan Carpenter	core: silence some false positives from parsing invalid... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-19	Dan Carpenter	implied: use a time based timeout instead of counting... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-19	Dan Carpenter	extra: handle loops like: while (--i >= 0) { Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-18	Dan Carpenter	function_hooks: fake an assignment when functions return... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-18	Dan Carpenter	check_free_strict: New stricter cross function use... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-17	Dan Carpenter	check_atomic_inc_dec: track atomic_inc() and atomic_dec() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-17	Dan Carpenter	assigned_expr: handle fake assignments better Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-17	Dan Carpenter	assigned_expr: remove debug code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-16	Dan Carpenter	kernel_printf: %px is valid Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-16	Dan Carpenter	stree: debugging: print the number of states in __print_stree() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-12	Dan Carpenter	mtag: commit all mtag related code to date Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-12	Dan Carpenter	smdb.py: fix some crashing bugs Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-12	Dan Carpenter	container_of: handle function calls like foo->bar(foo... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-12	Dan Carpenter	smatch: get the smatch bin dir correctly when it's... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	user_data2: empty states are not user data Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	constraints_required: improve handling of assigned... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	db: don't split by NULL vs non-NULL when there are... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	flow: store a backup of the start time when parsing... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	helper: change some nonsense values to other nonsense... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	DB: introduce a timeout handling caller info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	address: fix handling of &foo->bar Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	contstraints: use caller info Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	constraints: move print_return_implies_constrained() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	constraints: cleanup unmet_constraint() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-11	Dan Carpenter	constraints: fix add_constraint() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-09	Dan Carpenter	mtag: introduce create_mtag_alias() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-08	Dan Carpenter	mtag: fix get_mtag() for recorded states and for arrays Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-08	Dan Carpenter	links: no need to record links outside a function call Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-08	Dan Carpenter	type_val: cache DB info as a speed up Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-01-08	Dan Carpenter	string_list: prevent a use after free Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-14	Dan Carpenter	mtag: rename from mtags plural to mtag singular Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	helper: keep a small cache of recently used variable... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	extra: pass expression pointer to mod/nomod hooks Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	extra: write infrastructure to pass expr to no_mod... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	db/build_early_index.sh: set up more mtag indexes Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	expressions: initialize ->member_offset() in member_expression() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	function_hooks: set path impossible if we cull everything Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	mtags: remove the & pre-op Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	scripts/gen_allocation_list.sh: add __alloc_skb() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	db/fixup_kernel.sh: snprintf() returns aren't really... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	extra: pass the modified expression to extra_mod_hooks... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	extra: store values for expressions like "foo[3].bar" Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-07	Dan Carpenter	address: don't segfault parsing invalid code Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	ignore: re-write and add _expr() versions of functions Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	param_set/filter: PARAM_SET instead of PARAM_ADD Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	parse_call_math: use assigned values Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom