repo.or.cz / smatch.git / shortlog
? search:
summary | log | graphiclog | commit | commitdiff | tree | edit | fork
shortlog | fulllog | HEAD ⋅ prev ⋅ next
smatch.git
7 days ago Dan Carpenterextra: add set_extra_nodmod() to smatch_extra.h master commit | commitdiff | tree | snapshot (tar.gz zip)
10 days ago Dan Carpenterderef: fix segfault parsing invalid c code commit | commitdiff | tree | snapshot (tar.gz zip)
11 days ago Dan Carpenterimplied: preserve equivalence across switch statements commit | commitdiff | tree | snapshot (tar.gz zip)
11 days ago Dan Carpentermath: handle sizeof for zero size bitfields commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago Dan Carpenterextra: handle previously assigned simple math commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago Dan Carpenterextra: handle "if (a - 3 > 100) " commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago Dan Carpenterextra: split match_comparison() into two functions commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago Dan Carpentercapped: known values are always capped commit | commitdiff | tree | snapshot (tar.gz zip)
12 days ago Dan CarpenterRevert "sparse: introduce get_expression_value_nomod()" commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-20 Dan Carpentershow_unreachable.sh: add some more ignored kernel functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-20 Dan Carpenterflow: don't print duplicate "unreachable code" warnings commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-20 Dan Carpenterdb: replace database info scripts with smdb.py commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-19 Dan Carpentershow_unreachable.sh: change the line number format commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-19 Dan Carpentershow_unreachable.sh: replace tabs with spaces commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-18 Dan Carpenterdb: kernel: fake up ->read/write() limits commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterdb: store "too common" functions in the database commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterparam_cleared: clear_buffer: add them to the check_list... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterextra: don't use the indirect_modification_hook commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterextra: make param_filter set_extra_mod() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterrosenberg: remove pahole dependency commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterparse: add a big hack to track packed structs commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenter*new* smatch_clear_buffer.c: handle memset() type functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterparam_limit/filter: ignore whole ranges commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-17 Dan Carpenterranges: an empty range is not a whole range commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenterextra: remove some dead code commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenterextra: small fix for when the database is disabled... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenterdb: always split the return values if we're not using... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenterconditions: use set_extra_expr_mod() to change extra... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenteruser_data: compat syscall parameters are user data commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenteruser_data: using a user supplied offset into an known... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-15 Dan Carpenterlocking: add some more bh lock functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-12 Dan CarpenterMerge branch 'rfc-attribute-struct' of git://git./devel... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-12 Dan Carpentercheck_deref: disable "potential NULL dereference" by... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-10 Dan Carpenterlocking: add local_bh_disable/enable commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-09 Dan Carpenterlocking: handle null vs non-NULL returns commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterlocking: update validation/ tests to the new warning... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterfunction_ptrs: "(*ptrs[0])(a, b)" is the same as "ptrs... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterfunction_ptrs: record when function pointer is saved... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterrosenberg: remove some structs which don't have holes... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterrosenberg: check for nla_put info leaks commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterflow: fake member and element assignments better commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterexpressions: introduce array_element_expression() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterlocking: take returns values into consideration commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpentercheck_kernel: look harder for the container_of() macro commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterimplied: db: fix how returns are broken apart commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterdb: return_id was set incorrectly when inline functions... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-08 Dan Carpenterdb: fix how the return values are casted commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-04 Dan Carpenterhelper: make is_array() accept NULL pointers commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-03 Dan Carpenterdb: function_ptrs: do better at function ptr to functio... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-03 Dan Carpenterflow: create fake assignments for array declarations commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-03 Dan Carpenterflow: expressions: don't try updating to uninitialized... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-03 Dan Carpenterdb: fixup_kernel.sh: (struct mISDNchannel)->send inform... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-03 Dan Carpenterdb: fixup_kernel.sh: record where ->notifier_call is... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-02 Dan Carpenterflow: handle inlines better commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-02 Dan Carpenterdb: function_ptrs: track pointer to pointer assignments commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-02 Dan Carpentermath: silence some buffer overflow false positives commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-02 Dan Carpenterdb: fixup_kernel.sh: ignore (struct timer_list)->function commit | commitdiff | tree | snapshot (tar.gz zip)
2013-04-01 Szymon Jancextra: Fix segmentation fault in match_assign commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: look up all the function pointers commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterhelper: allow get_param_num_from_sym() to be used in... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterstring_list: introduce list_has_string() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpentersmatch_string_list.c: separate string_list functions... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: only lookup function pointers once commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterannotate: use it... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterhelper: ignore parens in expr_to_var() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenteroverflow: silence kernel false positive about __per_cpu... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterkernel: recover module_init/exit() functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterflow: pass the sym_list to the END_FILE_HOOK commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: fixup_kernel.sh remove some more USER_DATA tags commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: speedup fill_db_caller_info.pl commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterextra: improve += and -= handling commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpentersval: introduce sval_is_negative_min() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpentersval: fix sval_binop_overflows() to accept different... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterintroduce smatch_annotate.c: annotate some common functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: give up if there are over 1000 returned states commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-25 Dan Carpenterdb: fix slow down caused by recursive function calls commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-21 Dan Carpenterbuf_size: false positive from large "implied" implied... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-21 Dan Carpenterhelper: fix expr_to_str() for function calls commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-21 Dan Carpenterdb: remove more user data from start_xmit commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-21 Dan Carpenterdb: manually delete some USER_DATA markers from the... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-18 Dan Carpenterextra: move vanilla assigns into their own function commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterranges: in cast_rl() sometimes it's better to just... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterextra: type bug handling asm expressions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterdb: fix bug handling ':' character commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpentermath: Use function call information commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterflow: handle POST_OPs correctly commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterbuf_size: handle dma_alloc_attrs() commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterextra: type bug handling for loops commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpentermath: fix a couple type bugs commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenterlocking: fix build problem commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-15 Dan Carpenteruser_data: the pointer returned from container_of(... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-14 Dan Carpenterdb: update a debug message commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-14 Dan Carpenterdb: change the file searched for static functions commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-14 Dan Carpenterflow: fix a debug statement commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-14 Dan Carpenterflow: save and restore the big_expression_stack when... commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-14 Dan Carpenterconditions: fix small signedness bug in compares commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-12 Dan Carpenterlocking: ignore parenthesis commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-12 Dan Carpenterstack: turn off by default, and less spammy always commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-12 Dan Carpentersigned: don't warn about assignments to boolean commit | commitdiff | tree | snapshot (tar.gz zip)
2013-03-12 Dan Carpenterlocal_values: not all the set values make it to the... commit | commitdiff | tree | snapshot (tar.gz zip)
next
Static analysis for C