?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
first · prev · next
Handle known conditions when they are a simple value.
2009-04-05 Dan CarpenterHandle known conditions when they are a simple value.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-05 Dan CarpenterAdd CASE_HOOK.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-05 Dan CarpenterFix memory leaks found by valgrind.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-05 Dan Carpenteralloc_string() -> alloc_sname()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-05 Dan CarpenterPut some validation scripts in the closet.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-05 Dan CarpenterImplied ranges. Part #2. Filters
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-04 Dan CarpenterSilence the mutually exclusive output again.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-04 Dan CarpenterFree all data_info at the end of a function.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-04 Dan CarpenterAdd --no-data option and warning.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-03 Dan Carpenterrange fix. anding slists.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-03 Dan Carpentercleanups from clone_slist() changes.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-03 Dan CarpenterImplied ranges. Part #1.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-02 Dan CarpenterAdd the allocation funcs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-01 Dan Carpenterfree_scq is defined 2 times quite differently. It...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-01 Dan CarpenterFix implications (fallout from clone_slist() changes)
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-01 Dan CarpenterMajor memory saving.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-01 Dan Carpenter--debug means print the implications
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-04-01 Dan CarpenterAdd --no-implied to the help text.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-30 Dan CarpenterSave memory. Don't copy the state name so much.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-30 Dan CarpenterAdd check_type.c (disabled)
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-30 Dan Carpenterkref_put() and kobject_put() are basically like a free()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-29 Dan CarpenterDon't dereference freed memory.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-28 Dan CarpenterAdd all the allocation functions to check_leaks.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-28 Dan CarpenterGenerate a list of functions that allocate data.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-27 Dan CarpenterUpdate the gen_frees_list.sh and the generated data...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-26 Dan CarpenterSave function lists in smatch_data/
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-26 Dan Carpenternew (disabled) script: check_leaks.c
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-26 Dan Carpenterimplied: add get_implications() for scripts to use.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-25 Dan CarpenterAdd comment. get_value returns UNDEFINED on error.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-25 Dan Carpenterfunction_hooks: bump the number of entries in the...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-25 Dan Carpenternew: add_function_assign_hook()
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-25 Dan CarpenterClean up the conditional hook code.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-25 Dan Carpenternew api: add_conditional_hook(), set_cond_states();
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-24 Dan Carpenterfunction_hooks: pass the function name as well.
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-24 Dan Carpenterdon't try return block things in get_variable_from_expr_comp...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-24 Dan CarpenterAdd a list of noreturn type functions that nullify...
Signed-off-by: Dan Carpenter <error27@gmail.com>
 commit | commitdiff | tree
2009-03-24 Dan CarpenterMerge branch 'devel'
 commit | commitdiff | tree
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-23 Dan Carpentercheck_memory: read freeing functions from file.
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
next
Static analysis for C