?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
constraints: fix add_constraint()
2018-01-11 Dan Carpenterconstraints: fix add_constraint()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-09 Dan Carpentermtag: introduce create_mtag_alias()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpentermtag: 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 Carpenterlinks: 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 Carpentertype_val: cache DB info as a speed up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-08 Dan Carpenterstring_list: prevent a use after free
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-14 Dan Carpentermtag: rename from mtags plural to mtag singular
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterhelper: keep a small cache of recently used variable...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: pass expression pointer to mod/nomod hooks
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: write infrastructure to pass expr to no_mod...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterdb/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 Carpenterexpressions: initialize ->member_offset() in member_expression()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterfunction_hooks: set path impossible if we cull everything
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpentermtags: remove the & pre-op
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterscripts/gen_allocation_list.sh: add __alloc_skb()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterdb/fixup_kernel.sh: snprintf() returns aren't really...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: pass the modified expression to extra_mod_hooks...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenterextra: store values for expressions like "foo[3].bar"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-07 Dan Carpenteraddress: don't segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterignore: re-write and add _expr() versions of functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterparam_set/filter: PARAM_SET instead of PARAM_ADD
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterparse_call_math: use assigned values
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpentersval: improve sval_binop_overflows()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterextra: don't modify const parameters
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenteraddress/type: make some function parameters const
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: remove an duplicate NULL check
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: don't double parse ulong assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-06 Dan Carpenterstruct_assignment: fix a NULL dereference
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb/mtags: add mtag_data and mtag_map tables
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb/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 Carpenterdb: allow SQL statements to be run later
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterdb: introduce get_mtag_name_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: handle non struct, pointer assignments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: fix handling of non_struct_assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-12-04 Dan Carpenterstruct_assignment: split handle_non_struct_assigments...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: make all messages "error:" instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: small cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-24 Dan Carpenterindex_overflow: don't warn about impossible paths
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-22 Dan Carpentermtag: introduce memory tags
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-22 Dan Carpenterimplications: set_state() should trump implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-21 Dan Carpenterbuf_comparison: copy the code from smatch_constraints.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-15 Dan Carpenterimplied: improve the "too hairy" message
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-14 Dan Carpentercomparison: store the expressions involved (if it's...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-14 Dan Carpentercomparison: rename var1 to left_var and var2 to right_var
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints_required: detect a bunch of new types of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints: allow function constraints
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-13 Dan Carpenterconstraints: don't store signed vs unsigned
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-04 Dan Carpenterkernel_printf: don't segfault on invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpenteruser_data: fix compile
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpentertype_val: use smatch_container_of() information
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-03 Dan Carpenteruser_data: this file is replaced by check_user_data2...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterimplied: add a timeout in smatch_implied.c
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterflow: delete out of scope variables for compound statement...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-11-01 Dan Carpenterscope: move a check for STMT_COMPOUND earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentervalidation/sm_casts.c: update to not use an unintialized...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterrevert "smatch_type.c: comparison expressions always...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentervalidation/sm_buf_size6.c: update format
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterparse: make an array larger
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterhelper: fix get_array_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterassigned_expr: save a record when a function sets foo...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentermodification_hooks: handle PARAM_SET earlier
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenter.gitignore: ignore .smatch, .smatch.sql and .smatch...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterconstraints: add a comment, remove debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterconstraints_required: store more required constraints
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentercall_math: add kzalloc() to the list of allocation...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpentercall_math: prevent an endless loop
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterallocation_funcs: add __alloc_skb()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-31 Dan Carpenterconstraints: fix selecting the required constraint
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-30 Rasmus Villemoescheck_kernel_printf.c: warn about "%lx", (long)ptr
 commit | commitdiff | tree
2017-10-30 Rasmus Villemoessmatch_type.c: comparison expressions always have type int
 commit | commitdiff | tree
2017-10-30 Rasmus Villemoessmatch_type.c: fix type of pointer diff
 commit | commitdiff | tree
2017-10-27 Dan Carpenterstruct_assignment: fix parsing of invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-27 Dan Carpentersymbol: let is_ptr_type() take NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Dan Carpentercore: add NULL checks for parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Dan Carpenterget_user_overflow: verify that that it's a compare...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Rasmus Villemoescheck_kernel_printf.c: check %pOF argument is struct...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Rasmus Villemoescheck_kernel_printf.c: remove copy-pastoed variable
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Rasmus Villemoescheck_kernel_printf.c: prepare for more tests for integer...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-26 Rasmus Villemoescheck_kernel_printf.c: use get_real_base_type in typedef_lookup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-24 Dan Carpentercontainer_of: use CONTAINER type instead of PARAM_USED
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterpre-process: don't read beyond end of array when looking...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterbuf_size, kernel_printf: don't segfault on invalid...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpentercontainer_of: add a comment about returning a container_of()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpentercontainer_of: get_offset_from_container_of() should...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb/clear_user_data: use check_user_data2 instead of...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb: complain if we can't open the schema files
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb: add a comment and do some white space changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb: don't assume function calls are symbols (instead...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb/fixup_kernel.sh: fix a bad SQL command
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb: make static or not a boolean type
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-19 Dan Carpenterdb: save less information for common functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-18 Dan Carpentervar_sym: fix handling of arrays
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-18 Dan Carpenterextra: fix fallout from splitting param_used and container_of
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-18 Dan Carpenterbuf_size: don't store obvious sizes in the DB
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-17 Dan Carpentercontainer_of: export get_param/offset_from_container_of()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-17 Dan Carpenterparam_used/states: introduce __get_state() for silently...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-17 Dan Carpenterflow: parse more inline functions
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-16 Dan Carpentercontainer_of: fix container_of()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-16 Dan Carpenterfrees_param: update to latest API
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2017-10-16 Dan Carpenterparam_used/container_of: split this into two files
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C