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
math: fix typo in comment
2012-01-04
Dan Carpenter
ma
t
h: fix typo in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan
Carpenter
*new
*
b
o
gus_irqrestore: don't restore irq stat
e
befor
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*new*
c
h
eck_
w
ait_for_com
m
on
:
make s
u
re
t
h
e
return
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpe
n
ter
type: add expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpent
e
r
db: pas
s
&
f
oo
type p
a
rameter inf
o
rmation
to ca
l
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
C
ar
p
ente
r
math
:
do m
a
th for
g
et_implied_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpente
r
helper:
when displaying
s
i
zeof(
)
infor
m
atio
n
use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carp
e
nter
cappe
d
: track capped variables across
function boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Car
p
en
t
er
debu
g
: add __s
m
at
c
h_im
p
lied_min/ma
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
ma
t
h: white space cha
n
ge
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n Carpenter
db:
s
a
v
e funct
i
on poin
t
ers sav
e
d
i
n arrays of structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpente
r
db/function_ptr: clear the c
o
r
rect tab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
enter
db: re
m
o
ve untrust
e
d
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
nter
ext
r
a: unops don't normall
y
change the value of a variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
e
r
tiny whit
e
space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
Carpenter
unc
a
pped_allo
c
: delete this c
h
eck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpen
t
e
r
hel
p
er
:
remove bogus pare
n
s
from get_v
a
riabl
e
_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan
C
arpenter
update smatch_da
t
a for 3
.
2
-
r
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan
Carpenter
Allow chec
k
_debug
.
h to be incl
u
d
e
d more than onc
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
D
an Car
p
e
n
t
e
r
c
ore: add --file-
o
u
t
put vari
a
ble for ma
k
e
-
j
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
smat
c
h_extra: clear out struc
t
members if a
t
he
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpenter
extra: fix crashing bug fro
m
l
ast commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
ex
t
ra: expressions are equivalent even
i
f they
a
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpente
r
us
e
r_data:
use
is_ca
p
p
e
d(
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpent
e
r
user_data: handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new
*
smatch_c
a
pped: i
n
trodu
c
e is_cap
p
ed() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan
C
arpenter
*new* che
c
k_user_data
:
reco
r
d all the user da
t
a (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
buf
_
s
i
z
e: t
h
ere was
a m
i
stake
i
n handling call
s
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
u
f_s
i
ze: re
c
ord the s
i
ze of struc
t
mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpenter
ext
r
a: cl
e
anup: use my_id inst
e
a
d
of SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: wrong parameter n
u
mber in struct member cal
l
back
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
r
penter
extra: don
'
t p
r
int
a
n
ext
r
a
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Car
p
e
nter
db: limit the nu
m
ber o
f
function pointer calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
db, extr
a
:
i
ntr
o
duce
a
dd_mem
b
er_
i
nfo_
c
a
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db: rec
o
rd a dummy output f
o
r
every function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nt
e
r
db: use option
_
no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra,
db: move
s
o
me db functions fro
m
smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_size: hand
l
e fu
n
ction pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Carpenter
d
b:
f
ollow calls to func
t
ions pointer
s
as wel
l
as
n
ormal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Ca
r
penter
flow
:
set
position for
g
l
obal
variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carp
e
nter
signed: allow chec
k
s like: if (foo < 0
|| f
o
o > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpent
e
r
overflow: get rid of "buff
e
r
overf
l
o
w
calling %s
.
p
a
ram
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpent
e
r
g
e
t
r
id of --print_r
e
t
urn
s
option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpente
r
extra
,
db: we have to record every
function call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpenter
ranges: invalid rang
e
s defa
u
l
t to the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Carpenter
sig
n
e
d
: don'
t
warn
a
bout unsigned
c
ompar
i
sons to mac
r
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Da
n
Carpente
r
extra, db: r
e
cord
t
he struct memb
e
r val
u
es in the databas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Carpenter
extra:
fix par
s
i
ng
o
f values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
r
p
ent
e
r
f
i
ll_
d
b_untrusted: fol
l
ow
untruste
d
data down
the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
e
xtra: d
o
n't prin
t
if the min-max
as th
e
value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpen
t
er
r
anges: introduce
i
s_whole_
r
a
nge_rl() and fix i
s
_who
l
e_ran
g
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db:
u
se the function_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
r
penter
fill_
d
b
_
caller_inf
o
:
c
a
lcu
l
ate function_
i
d
c
orrectl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug:
add a __smatch
_
po
s
sible("variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc: use _complex() version of
get_variable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Ca
r
pent
e
r
extr
a
: db: put single
quotes around the function name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
*new* smatch_sc
r
ip
t
s/
f
ollow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Ca
r
pe
n
ter
hooks: remove s
o
me
commented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpen
t
er
sql:
s
n
printf() nul ter
m
inates
its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carp
e
n
t
er
d
b
: move bu
f
_size t
o
the
n
ew a
d
d
_de
f
inition
_
d
b_callba
c
k
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
db: introduce add_definition
_
db_
c
allback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store t
h
e
values
o
f
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: make database code
usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpent
e
r
*ne
w
*
min_t()
c
a
stin
g
that tr
u
ncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpe
n
t
er
*new* rosenberg: check
f
o
r information leaks from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow: twea
k
the -
>
p
o
s setting for fake assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
e
n
ter
flo
w
: whitespa
c
e changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
nter
flow: pass
c
ondition assig
n
ments to clients with ASSIGN
M
ENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpente
r
no_
e
ffect: add som
e
more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan
Carpenter
deref_check: c
h
eck_deref: print bo
t
h
line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
D
a
n
C
arpen
t
er
core: set position earl
i
er in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Karel Za
k
s
match: add --data=<dir> opti
o
n
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arpenter
slist:
p
rese
r
ve
t
he ->line va
l
ue
correc
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: print
more helpful
info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpente
r
g
e
n
_arr
a
y_bound
s
:
fi
l
t
e
r out bogus
l
ines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Da
n
Carpenter
buf_s
i
ze
:
s
il
e
nc
e
a gcc
f
al
s
e positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
us
e
PTR
_
INT()
a
n
d INT_PT
R
() to silence cast war
n
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
C
a
rpenter
sl
i
st: make alloc
_
sm_st
a
t
e
() sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpenter
slist: remov
e
some dead
c
ode
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong
_
sm() should prese
r
ve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
Carpenter
update
smatch_d
a
ta/ f
o
r linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
C
arpente
r
*n
e
w* bogus_loops: warn on
b
og
u
s for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
extra: use ge
t
_implied_value(
)
in
s
tead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
an Carpenter
implied: handle
assignments
i
nside
c
o
n
ditions be
t
ter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
o
verfl
o
w: chec
k
spri
n
tf(
)
and
s
nprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
arpenter
smatch_flow:
f
ix c
o
mpile error caused
b
y
u
pstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego Elio
P
et
t
enò
Fix bu
i
ld with GCC 4
.
6 seri
e
s
.
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
ove
r
flow: cu
t
dow
n
on false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smatc
h
_d
a
ta:
update f
o
r
3
.
0 kerne
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
C
arpenter
gen_no
_
r
eturn_
f
uncs: always ke
e
p the def
a
ult
n
o retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
arpenter
In a c
o
uple place
the original ch
e
c
ked for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Carpente
r
flow: h
a
ndle known switch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
a
r
penter
*new* return
_
negativ
e
_var: returning po
s
itive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpen
t
er
*new
*
m
emset: check
for memset(
x
, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
an
C
arpenter
S
u
ppor
t
__
b
uilt
i
n
_
unreach
a
ble()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tetsuo Hand
a
Fix build erro
r
with old
e
r
p
a
ckage
.
commit
|
commitdiff
|
tree
2011-05-23
Randy
M
acLeod
F
i
x grammatical
e
rrors in README-s
m
atch
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
o
v
erflow: format_strings
:
put
s
ome verbose mes
s
a
ges
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Da
n
Carpenter
buf_size
:
put som
e
guesses behi
n
d
-
-
spa
m
my
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an Carp
e
nter
ex
t
ra: han
d
le count down
f
o
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next