?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
recompile the check_*.c files if the smatch headers are modified.
2009-03-23 Dan Carpenterrecompile the check_*.c files if the smatch headers...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpentercheck_overflow: test copy_to/from_user as well.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpentercheck_overflow: don't multiply the size of strings...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterassumed_nonnull crap... temp fix.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan CarpenterAdd script to generate the frees list.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterrename register_frees_argument to check_frees_argument.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterfix order of processing of commas.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterget rid of FUNCTION_CALL_AFTER_HOOK
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterchange order of condition processing
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-23 Dan Carpenterget rid of ASSIGNMENT_AFTER_HOOK
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-22 Dan Carpentercheck_memory: read freeing functions from file.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-22 Dan Carpenterfrees_argument: don't count functions that only free...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-21 Dan Carpentercore: improve anding condition handling.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-19 Dan Carpentercheck_overflow: move to new add_function_hook().
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-19 Dan Carpentercheck_locking: move to the new function hook.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-19 Dan Carpentercheck_locking: fix some double unlock false positives.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-19 Dan Carpentercore: add_function_hook()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan Carpentermake some vars static. other random sparse stuff.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan Carpentercore: add_unmatched_state_hook()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan Carpenterimplied: re-add the debug output.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan Carpenterchange convention: register_template() -> check_template()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan Carpenterlocking: add some more mutex functions.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-18 Dan CarpenterMake --known-conditions an option.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpenterhandle known conditions better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentercheck_memory: add rudimentary validation test.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpenternew script to print a list of functions which free...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentercheck_memory: make arguments static
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentertemplate: fix memory leak
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentertemplate: remove unused header, update comments
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentercheck_locking: add mutexes
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpentercheck_memory: add kzalloc(), more complex variables.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-17 Dan Carpenterimplied: handle &undefined better
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-16 Dan Carpenterinfo: loop could be replaced with if statement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-16 Dan Carpenterkchecker: add "--sparse" option.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-16 Dan Carpentersmatch_implied/slist: move functions from slist to...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-16 Dan Carpentercheck_memory: use complex variables instead of regular...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-16 Dan Carpentercheck_memory: assume parents assigned on all paths...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-11 Dan Carpentercheck_memory: More changes.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-11 Dan Carpenterassignments can add a parent...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-11 Dan CarpenterHandle initialization in the declarations;
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-11 Dan CarpenterCut down on false positives.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-11 Dan CarpenterParse the return statement before calling the return...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-10 Dan CarpenterFix crashing bug.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-10 Dan CarpenterRemove some false positives and enable the check.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-10 Dan CarpenterDemote argument null derefs to cross func null derefs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-10 Dan CarpenterLabel the output: error, warn, or info
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-09 Dan CarpenterAdd a hack to handle the kernel's redefined if.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-09 Dan CarpenterHandle more comparisons than just (foo == 0) and (foo...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan Carpentercheck_locking: a merge with NULL is a merge with the...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan CarpenterRemove unneeded code.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan CarpenterAdd line number back.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan CarpenterUse the most recent implications.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan CarpenterAdd option --assume-loops.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-08 Dan CarpenterAdd an option --no-implied to turn of implications.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-07 Dan Carpenterimplied pools: cleanup how implied pools are created.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-06 Dan Carpentercheck_memory: separate out a malloced state
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-06 Dan CarpenterAll along I was adding the pools to the wrong place.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-05 Dan CarpenterClean up. Move a couple ifdefs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-05 Dan CarpenterAdd a sanity check that ->possible has a ->my_pool.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-05 Dan CarpenterClean up. Freeing the sm_states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-05 Dan CarpenterOring the slists seems like merge_slist()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-05 Dan CarpenterAdd a --debug-implied option
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-04 Dan Carpentercheck_memory: Fix segfault
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-04 Dan Carpenterkchecker: helper script to invoke smatch
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-04 Dan Carpentercheck_memory: new code. not used yet.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-04 Dan CarpenterFix bug in compound conditions and add validation test.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan Carpentercheck_locking: handle functions with no return statement.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan CarpenterFix so security_fixup_ops() doesn't trigger the OOM...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan CarpenterFix 'or'ing states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan CarpenterFix NULL deref.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan CarpenterFor some reason smatch can't find these header files...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-03 Dan CarpenterFix string memory leaks.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterRemove unneeded allocation.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterRemove outdated comment.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterDon't __free_sm_state() until end of function.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan Carpenterfree_slist() after calling get_all_states()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan Carpenterdon't reallocate the ->possible states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterGet rid of unused line history code.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterFix some memory leaks in __implied_states_hook()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterAdd free_trackers_and_list() and free_tracker_list...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterAdd new free_stack() function.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan Carpenterrename del_slist_stack() to free_stack_and_slists()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan Carpenterrename del_slist() -> free_slist()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-02 Dan CarpenterFree all the sm_states at the end of each function.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-28 Dan CarpenterAdd ->possible to __print_slist() output.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-28 Dan CarpenterSave all the pools a state goes through.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-27 Dan CarpenterAdd and fix smatch implied tests.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-27 Dan CarpenterPreserve the ->pools and ->possible for implied states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-27 Dan CarpenterFix handling mutually exclusive states.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-27 Dan CarpenterGet rid of redundant harmonize_states()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-27 Dan CarpenterAdd function __set_true_false_sm()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-26 Dan CarpenterOnly save an implied list if a state has been modified.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-26 Dan CarpenterOnly implied states that aren't already true.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-26 Dan CarpenterTake a parameter instead of assuming the output is...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-26 Dan CarpenterDon't check that there are both true and false states...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-25 Dan CarpenterThis check_order() seems superfluous.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-25 Dan CarpenterNew function harmonize_states()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-25 Dan Carpentercall __split_expr()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-25 Dan Carpenterremove unneeded calls to __use_cond_true_states();
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-02-24 Dan CarpenterDon't set the implied state to &merged.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
next
Static analysis for C