?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
comparison: don't return invalid params in get_mask_comparison()
2018-09-24 Dan Carpentercomparison: don't return invalid params in get_mask_comparison()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterdb: don't print "failed to open" warnings...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_set: remove some dead code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpentermtag: temporarily disable generating mtag for kmalloc()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterexpressions: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: fix a type bug in inserting info into caller_info
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterkernel: don't insist that the parameter is named "error"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: export is_impossible_variable()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterflow: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterfunction_hooks: do the fake parameter assignment after...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_limit: fix generify_mtag_range()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterextra: clear_pointed_at_state() is a nomod state
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparam_set: handle when the stack variable was modified...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterparse_call_math: don't say the return is equal to a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterscope: fix is_outer_stmt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpentersval: handle casting to bool
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterarray_values: don't crash on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-20 Dan Carpenterno_spec: record when functions have a barrier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-14 Dan Carpenterextra/type: fix type of return PARAM_ADD/SET
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-14 Dan Carpenterparam_limit: make mtag limits more generic
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-12 Dan Carpenterparam_set: don't save if the parent is set
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenteratomic_inc_dec: add a couple more functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentersigned_integer_overflow: ignore this for the kernel
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentermath: handle conditionals like: "a = b?: c;"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenternospec: don't fill the DB up with garbage
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentersizeof: fix NULL dereference parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenterstrings: truncating large strings causes SQL problems...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentertype_val: don't double record globals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpentertarget: man ssize_t be unsigned long instead of unsigned...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-11 Dan Carpenterextra: don't reset impossible states after a condition
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-10 Dan Carpenterarray: store possible array values for simple arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpentermtag: HACK: return false if the mtag is zero
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpenterflow: fake an assign statement for global initializers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpenterflow: tweak how function timeouts happen
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpenterdb: fix a type bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-09-06 Dan Carpentersmatch_flow: don't parse inline functions after we...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-31 Dan Carpentermtag: add string information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-31 Dan Carpenterflow: handle __builtin_mul_overflow()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-29 Dan Carpenterkernel_printf: silence "specifier is cast from pointer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-28 Dan Carpenternospec: turn off speculation at rmb(), smb_rmb() and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-28 Dan Carpentercheck_signed: ignore fake assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-25 Dan Carpentermtag_data: clear cache at start of function
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-25 Dan Carpenternospec: fix uninitialized pointer crash
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpenterhelper: fake calls are not equivalent to anything
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: handle comparisons: if ((foo = frob(...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: improve "foo = min(...);" assignment handling
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercomparison: hack around some type bugs
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentermtag_data: remove duplicate mtag_data and random small...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercontainer_of: fix a bug in get_shared_cnt()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-24 Dan Carpentercheck_check_deref: silence some false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-18 Dan Carpenternospec: store functions that return nospec indexes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-15 Dan Carpenternospec: handle CALL_NOSPEC
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-14 Dan Carpenterdb: introduce the --db-file=/path/to/smatch_db.sqlite...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-13 Dan Carpenteruser_data2: use function returns in points_to_user_data()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-13 Dan Carpenterfiles: check for schema files relative to the bin_dir
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-13 Dan Carpentersmatch.c: export bin_dir to everyone
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-10 Dan Carpentercore: print the full path when --info is used
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-08 Dan Carpenteruser_data: improve how returned data is handled
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-08 Dan Carpentercapped: set returned struct members to capped
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-08-06 Dan Carpenteruser_data: fix validation test for returned struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplied: don't print so many "turning off implications...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: delete some bogus code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag_data: update mtag_data to use get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: fix expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: introduce get_mtag_addr_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterparam_to_mtag_data: rename "data_name" --> "name"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag: don't set the name in expr_to_mtag_offset()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpentermtag_data: cache DB results
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterextra: move get_address_rl() out of get_extra_state()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: white space changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: only enable this with the -...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-31 Dan Carpenterimplicit_dependencies: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-30 Dan Carpenterimplied: improve debugging
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag/mtag_data: re-use the same code to store data...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan CarpenterRevert "container_of: remove some duplicative code"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag_data: split get_mtag_rl() into two functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-27 Dan Carpentermtag: rename get_db_data_rl() => get_mtag_rl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of: remove some duplicative code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/container_of: the first struct member can be a...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: Use extra state to get mtag and offset
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: hook in the mtag code to check_list.h
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentervalidation: fix the new DB tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: improve get_mtag_sval()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/math: use mtag information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: make get_mtag_offset() give both an mtag and...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag/math/extra: start using mtags as pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: make the name parameter in expr_to_mtag_name_offset...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: mask out the low bits
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentermtag: turn off mtag stuff for 32 bit builds
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of: cleanup set_param_value()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of/mtag: fix handling of passed values (as...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentervalidation: add some mtag tests
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-26 Dan Carpentercontainer_of/mtag: use container_of information for...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpentercontainer_of: re-write code to record caller_info containers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenterranges: allow svals to be printed in hex
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenterranges: fix parsing of ulong_max and ptr_max (not currently...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpentercontainer_of: flip the param and the value around
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-25 Dan Carpenteraddress: fix add_offset_to_pointer()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentertype: introduce get_final_type()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-07-24 Dan Carpentersval: handle pointer math better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C