descriptionStatic analysis for C
homepage URLhttp://smatch.sf.net
ownererror27@gmail.com
last changeSun, 21 Mar 2010 12:29:13 +0000
Push URLssh://repo.or.cz/srv/git/smatch.git
Content tags:
Add:
readme
Smatch is a static analysis tool for C. Most of the checks are for the linux kernel. Please write checks for your project. It's fun and easy!
shortlog
22 hours ago Dan Carpenterextra: assume impossible things are impossible master
2 days ago Dan Carpentererr_ptr: fix btrfs false positives
2 days ago Dan Carpentererr_ptr: handle when an err_ptr is reassigned
2 days ago Dan Carpenter*new* check_db_info.c prints out stuff that will be...
2 days ago Dan Carpentercleanup: move stuff from smatch_extra.c to smatch_math.c
2 days ago Dan Carpenterwhitespace changes
3 days ago Dan Carpenterequiv: fix crashing bug
3 days ago Dan Carpentercheck_overflow: malloc() => __alloc_smatch_state()
3 days ago Dan Carpentersmatch.c: don't leak those 10 bytes
3 days ago Dan Carpenterassigned_expr: fix memory leak
5 days ago Dan Carpenterkernel: free_area() doesn't call kfree()
5 days ago Dan Carpenter*new* check_return.c: complain if you don't check the...
5 days ago Dan Carpentermath: make get_implied_value() work for pointers better
5 days ago Dan Carpentermath: cleanup: create separate _get_implied_value(...
5 days ago Dan Carpentermath: handle modulus '%' operations
6 days ago Dan Carpentermath: handle EXPR_POSTOP
...
tags
2 months ago 1.54
9 months ago 1.53
11 months ago 1.52
12 months ago 1.51
2 years ago 0.4.1 0.4.1
2 years ago 0.4 0.4
2 years ago 0.3 0.3
3 years ago 0.2 0.2
3 years ago 0.1 0.1
heads
22 hours ago master