Public Git Hosting - smatch.git/search

2018-04-09	Dan Carpenter	comparison: introduce impossibly_high_comparison()... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-04-05	Dan Carpenter	ignore: fix && vs \|\| typo Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-29	Dan Carpenter	index_overflow: almost a re-write Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	implied: improve handling of assignments in arguments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	kernel_printf: don't warn about void pointers Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	cheak_leaks: handle returning conditionals Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: introduce a new cache of recently used constants Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: handle __builtin_constant_p() properly Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	math: allocated some permanent range lists in rl_zero... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-26	Dan Carpenter	conditions: Fix parsing foo = ({ ... label: __ret; }) Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-14	Dan Carpenter	function_hooks: don't be too ambitious faking parameter... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-12	Dan Carpenter	ranges/ptrlist: solve a leak with a big hack (second... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-12	Dan Carpenter	allocate: use unsigned long to record allocations Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	deref_check: fix a small leak Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	hooks: introduce FUNCTION_CALL_HOOK_BEFORE Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2018-03-07	Dan Carpenter	user_data: reading from an array doesn't necessarily... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
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
next

Static analysis for C

RSS Atom