repo.or.cz
/
smatch.git
/
search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
log
|
graphiclog1
|
graphiclog2
|
commit
|
commitdiff
|
tree
|
refs
|
edit
|
fork
first
·
prev
·
next
flow: set position for global variables
2011-10-11
Dan
Carpenter
f
low: set position for global variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nte
r
signed: a
l
low checks like:
i
f (
f
oo <
0 || foo
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
o
verflo
w
:
get rid
o
f "buffer overf
l
ow ca
l
ling
%s
.
par
a
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpen
t
er
get
rid
o
f
--p
r
in
t
_
r
eturns op
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan
Carpenter
e
x
tra, db: w
e
have
t
o record every
function c
a
l
l in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
range
s
: invalid r
a
nges defa
u
lt to the w
h
ole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carp
e
nter
s
ign
e
d: don't wa
r
n abou
t
unsigned c
o
mpa
r
i
sons to
ma
c
ros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Carpente
r
extra, db: rec
o
rd
t
he
s
truct member values in
th
e
dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra: fix pars
i
ng o
f
values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Carpen
t
er
fill_db_untruste
d
:
f
ollow untrusted
data
d
own th
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
extra: d
o
n't pr
i
nt i
f
the min-max
as the value pass
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpente
r
rang
e
s: i
n
t
r
oduce
i
s_whole_rang
e
_r
l
(
) an
d
fix
is_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
d
b
: u
s
e the function_id c
o
r
r
ec
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_caller_info: calculat
e
f
u
nct
i
o
n_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
debug: add a __smatch_poss
i
ble
(
"
v
ariable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
uncapped_alloc: use _complex()
vers
i
on of get_variable_from
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpente
r
extra: db:
p
u
t
single quotes aro
u
nd the
funct
i
on na
m
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpe
n
ter
*new* smatch_
s
cripts/follow_para
m
s
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpenter
h
o
o
k
s: remove some c
o
mmented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpen
t
er
sql: sn
p
ri
n
tf() nul terminate
s
its
s
tr
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpen
t
er
d
b
: move buf_s
i
ze to t
h
e
n
ew add_definition_d
b
_c
a
llback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db
:
i
n
trod
u
ce add_d
e
fi
n
i
t
i
o
n_db_callback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store the v
a
lues
of parame
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b
: make database code usabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*new*
m
i
n
_t() casti
n
g that truncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpenter
*new* rosen
b
e
r
g: check for in
f
o
r
mation leaks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tweak the ->pos s
e
tti
n
g for fake
a
ssig
n
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: whitesp
a
c
e c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan C
a
rpe
n
ter
flow: pass condition assignments to clie
n
t
s
w
ith ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
n
o
_effect: ad
d
some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
D
an Ca
r
penter
deref_check: check_
d
er
e
f: print both line number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpent
e
r
c
o
re: set posit
i
on e
a
rl
i
er in smat
c
h_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
Carpent
e
r
slis
t
:
preser
v
e
the
-
>line
v
alue
c
orrectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
a
rpenter
overflo
w
:
prin
t
more h
e
lpful i
n
f
o
when th
e
da
t
a file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an Ca
r
penter
g
en_array_
b
ounds:
f
ilter out bog
u
s lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
r
p
e
nte
r
buf_size: silence a gcc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Da
n
Carp
e
n
ter
use P
T
R_INT
(
) and INT_PTR() to silence cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpenter
sl
i
st: mak
e
a
l
l
oc_sm_
s
tate()
s
t
a
t
i
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpe
n
ter
slist:
remove some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
core: clong_sm() should
prese
r
ve th
e
->
l
ine value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Car
p
enter
update sma
t
ch_data
/
for linux
-
3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
a
n Carpenter
*n
e
w
*
bogus_lo
o
ps:
w
arn on bogus fo
r
l
oo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
D
a
n Carpente
r
ex
t
r
a
: u
s
e
get_implied_valu
e
() instea
d
of get
_
v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan C
a
rp
e
n
ter
implied: handle assignments
inside cond
i
ti
o
ns
bet
t
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
C
arpenter
overflow: check
sprintf() and snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carp
e
nt
e
r
sm
a
t
ch_
f
l
o
w
:
f
ix compile
e
r
ror caused by u
p
stream ch
a
nges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpenter
overflow: cut
down on false positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
p
e
nter
smatch_d
a
t
a
:
u
pdate
for 3
.
0 kerne
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpenter
gen
_
no_return_funcs: alw
a
ys keep the
d
e
fault no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an
C
arpenter
In a couple plac
e
the original
checked for --sp
a
m
m
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: h
a
ndle
k
nown
switch state
m
en
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* return_negati
v
e_var: returning
positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new* m
e
mset: ch
e
ck for m
e
m
set(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan C
a
rpenter
Support __builtin_
u
n
reachable(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carp
e
nter
o
verflo
w
: format_strings: put some verbose
m
ess
a
ges
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carp
e
nte
r
b
uf_size:
p
ut some gue
s
ses be
h
in
d
-
-spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpe
n
ter
extra: handle coun
t
down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan
C
arpenter
add RAW_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpent
e
r
Merge
git://git
.
kernel
.
org
/
pub/scm/devel/
s
p
arse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
an Carpenter
si
g
ned: don't co
m
plain about
put
t
ing 0xff into a
s
igned
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan
Carpenter
lo
c
kin
g
: a
d
d _
r
aw_spin_l
o
c
k_ne
s
ted()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
rpenter
i
ntroduce SELECT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
Carpe
n
ter
*new
*
check_se
l
ect:
retu
r
n ret < 0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
en
t
e
r
*new
*
i
nput_free_de
v
ice: don't c
a
ll thi
s
a
f
ter input_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpent
e
r
*new* check
_
cont
a
iner
_
of
:
conta
i
ner
_
of() do
e
sn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
a
rpenter
c
reate check
_
list_local
.
h whi
c
h is for untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
locki
n
g:
_
a
tomic_dec_and_lock() is a
spinlock
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
files: clea
n
up open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpent
e
r
add
default no_return_func
s
i
f
no pr
o
ject is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
update
s
match_data/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_acc
e
ss_ok_
m
ath
:
potential in
t
eger overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
an Carpenter
hooks: introd
u
ce A
S
M_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
an Carpenter
tempora
r
y hack to solv
e
crashing bug
in f
s
/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpe
n
ter
locking: add _
_
raw_
s
pin_unloc
k
_irq
(
)
function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Car
p
enter
err_ptr
_
deref:
f
ix as
s
ignments
ins
i
d
e
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Da
n
Ca
r
penter
lock
i
ng: ad
d
a
r
ch_local_irq_sav
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
D
an Carpenter
c
heck
_
type:
w
ar
n
ab
o
ut kfree() vs
fre
e
_n
e
t
d
e
v()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpente
r
t
ype: improve han
d
l
ing of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
extra:
m
o
ve some
s
t
u
ff into
s
match_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
b
uf_size: oops
.
.
.
r
e
move de
b
ug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
whitespace_only: don't error out ha
n
dling
.
h
f
iles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
*new* ge
t
_
u
ser_ov
e
rflow: check for
i
nteger overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
smatch_db
:
don't complain if t
h
e db doesn't
e
xist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpent
e
r
buf_size: do c
r
oss function
a
n
alysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* uncapped_alloc: print places where the user dec
i
d
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
*
n
ew*
s
match_db: use and
s
q
l
ite da
t
abas
e
for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
param_mapper: up
d
ate c
o
pyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
ad
d
test-insp
e
c
t
to
.
git
i
gno
r
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
C
arpente
r
smatch_
s
cripts/gen_expec
t
s_err_p
t
r
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n
Carpenter
smatch_data/ker
n
el
.
a
rray
_
bou
n
ds: arra
y
boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpente
r
expects_err_ptr
:
mak
e
a l
i
s
t
o
f
fun
c
tions whi
c
h
ac
c
ep
t
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Ca
r
penter
unwind: add
m
o
re unwind func
t
ions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
r
p
enter
update smat
c
h_data/ for 2
.
6
.
36
-
rc2
(part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
ov
e
rflow: fixup cross
f
u
n
c
t
ion
overflow
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
an Carpenter
remov
e
dead no_le16 cr
u
ft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Ca
r
penter
unwind:
a
dd mor
e
u
n
wind function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpenter
remo
v
e
chec
k
_
l
e16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpent
e
r
Update smatch
_
d
ata to 2
.
6
.
36-
r
c2 [patch 1 of
more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
kernel: container_of(
)
returns a non-NU
L
L poi
n
te
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan C
a
rpenter
I
n
troduce
add_macro_
a
ssign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next