Public Git Hosting - smatch.git/search

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
2017-12-06	Dan Carpenter	sval: improve sval_binop_overflows() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	extra: don't modify const parameters Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	address/type: make some function parameters const Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	struct_assignment: remove an duplicate NULL check Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	struct_assignment: don't double parse ulong assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-06	Dan Carpenter	struct_assignment: fix a NULL dereference Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	db/mtags: add mtag_data and mtag_map tables Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	db/fn_ptr_data_link: don't store duplicate records Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	db: allow SQL statements to be run later Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	db: introduce get_mtag_name_expr() Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	struct_assignment: handle non struct, pointer assignments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	struct_assignment: fix handling of non_struct_assignments Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-12-04	Dan Carpenter	struct_assignment: split handle_non_struct_assigments... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-24	Dan Carpenter	index_overflow: make all messages "error:" instead... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-24	Dan Carpenter	index_overflow: small cleanup Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-24	Dan Carpenter	index_overflow: don't warn about impossible paths Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-22	Dan Carpenter	mtag: introduce memory tags Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-22	Dan Carpenter	implications: set_state() should trump implications Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-21	Dan Carpenter	buf_comparison: copy the code from smatch_constraints.c Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-15	Dan Carpenter	implied: improve the "too hairy" message Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-14	Dan Carpenter	comparison: store the expressions involved (if it's... Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
2017-11-14	Dan Carpenter	comparison: rename var1 to left_var and var2 to right_var Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>	commit \| commitdiff \| tree
next

Static analysis for C

RSS Atom