?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
kernel: handle __read_once_size()
2018-04-20 Dan Carpenterkernel: handle __read_once_size()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-20 Dan Carpentermath: fix a get_value() bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-19 Dan Carpenterexpressions: make assign_expression() take an op argument
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-18 Dan Carpenterspectre: warn about potential spectre vulnerabilities
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-18 Dan Carpenterexpressions: don't set the ->parent to a fake expression
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-17 Dan Carpenterexpressions: just allocate zero_expr() fresh every...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-16 Dan Carpenterexpression/smatch_expressions: move expr_set/get_parent...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-12 Dan Carpenteror_vs_and: tidy up whitespace
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-12 Dan Carpenteror_vs_and: min_t() uses the new min() code as well
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-11 Dan Carpentercheck_or_vs_and: ignore the kernel's min/max macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-11 Dan Carpenterflow/math: handle __builtin_choose_expr()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-10 Dan Carpentervalidation/overflow: change "warn:" to "error:"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-10 Dan Carpenterabout_fn_ptr_arg: don't get into a recursive loop
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterhelper: add get_last_statement_from_expression_stmt...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentermem_tracker: add a --mem option to debug memory use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterexpressions: remove some unnecessary gotos
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpenterhelper: improve is_error_return(). In the kernel all...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/smatch.common_functions: add some common...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignored_macros: add AA_BUG()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignore_uninitialized params: add...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentersmatch_data/kernel.ignore_side_effects add recent macros
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: handle expression statements better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: remove some debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-09 Dan Carpentercomparison: introduce impossibly_high_comparison()...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-04-05 Dan Carpenterignore: fix && vs || typo
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-29 Dan Carpenterindex_overflow: almost a re-write
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpenterimplied: improve handling of assignments in arguments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpenterkernel_printf: don't warn about void pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpentercheak_leaks: handle returning conditionals
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpentermath: introduce a new cache of recently used constants
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpentermath: handle __builtin_constant_p() properly
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpentermath: allocated some permanent range lists in rl_zero...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-26 Dan Carpenterconditions: Fix parsing foo = ({ ... label: __ret; })
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-14 Dan Carpenterfunction_hooks: don't be too ambitious faking parameter...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-12 Dan Carpenterranges/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 Carpenterallocate: use unsigned long to record allocations
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterderef_check: fix a small leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterhooks: introduce FUNCTION_CALL_HOOK_BEFORE
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenteruser_data: reading from an array doesn't necessarily...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterimplied: introduce impossible_assumption()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterbuf_size: don't save unnecessary states
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpentermtag: push all my changes
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterranges: fix a leak
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-07 Dan Carpenterdebug: add __smatch_state_count()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpentermodification_hooks: don't save the expressions outside...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpentervar_sym: tweak expr_to_vsl()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpentersymbol.h: let is_ptr_type() take NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpenterreturn_to_param: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpenterstruct_assignment/assigned_expression: save some more...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-06 Dan Carpenterexpressions: free allocated expressions after the end...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-05 Dan Carpenterrosenberg: check the correct alignment
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-03-01 Dan CarpenterMerge 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 Carpentermtag: fix build error
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-22 Dan Carpenterhelper: fix segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentertype_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 Carpenteror_vs_and: white space cleanup
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterconditions: pass SELECT_HOOK for select assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterestate: white space clean up
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterconstraints: allow binop constraints
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentersmatch_comparison: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentercheck_kernel: handle fls()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: tight parameter values a bit
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: handle "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterextra: 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 Carpenterimplied: use assume() even if there are no implications
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentermath: silence hard max false positives
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterslist: 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 Carpentermtag: kill an endless loop in up coming code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpentercall_math: initialize some strings
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-21 Dan Carpenterfn_arg_link: fix an endless loop
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-20 Dan Carpenterdb: fix a segfault parsing invalid code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-19 Dan Carpentercomparison: improve handling of "if (foo + 1 > limit) "
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterdb/comparison: Use mask information to get comparisons
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpentercomparison: handle __smatch_compare(foo, bar - 1)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterextra: cleanup handle_AND_op()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-16 Dan Carpenterextra: cleanup handling "if (foo & 0x1) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenteruser_data: silence some false positives with divides
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenteruser_data2: silence some false positives handling ntohl...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-13 Dan Carpenterconditions: hack around "if (foo | bar) {" (bitwise OR)
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-02-09 Dan Carpenterdata/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 Carpenterdb/smdb.py: change some formatting
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterdb/smdb.py: fix the PARAM_COMPARE/LIMIT types
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterrosenberg: fix a crashing bug
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenteruser_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 Carpenterconstraints: handle conditions like "if (8 < x) {"
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterexpr_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 Carpenterslist: allow show_sm() to accept NULL pointers
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterflow: don't fake an impossible default
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpentertype_val: record fewer "unknown" assignments
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-25 Dan Carpenterflow: 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 Carpentercore: silence some false positives from parsing invalid...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-19 Dan Carpenterimplied: use a time based timeout instead of counting...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-19 Dan Carpenterextra: handle loops like: while (--i >= 0) {
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-18 Dan Carpenterfunction_hooks: fake an assignment when functions return...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-18 Dan Carpentercheck_free_strict: New stricter cross function use...
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-17 Dan Carpentercheck_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 Carpenterassigned_expr: handle fake assignments better
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-17 Dan Carpenterassigned_expr: remove debug code
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-16 Dan Carpenterkernel_printf: %px is valid
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
2018-01-16 Dan Carpenterstree: debugging: print the number of states in __print_stree()
Signed-off-by: Dan Carpenter <dan.carpenter@oracle.com>
 commit | commitdiff | tree
next
Static analysis for C