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: white space changes.
2011-12-01
Dan Car
p
enter
math: white space ch
a
nges
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpent
e
r
db: save func
t
i
on poin
t
ers sav
e
d in arrays of
s
t
r
ucts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan
Carpenter
db/functio
n
_ptr: cle
a
r t
h
e
corre
c
t table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
ente
r
db:
remov
e
untrusted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpen
t
er
extr
a
:
uno
p
s don
'
t n
o
r
mally chan
g
e the value
o
f a
v
aria
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arpent
e
r
tiny white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
D
an Carpenter
unca
p
pe
d
_
alloc:
delete thi
s
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
Carpent
e
r
h
e
lper:
r
emove
b
ogus parens from
get_variable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
D
an Car
p
e
nter
upd
a
te
smatch_data for 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpent
e
r
A
l
low
check_debug
.
h t
o
be included more t
h
an
o
n
ce
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan
Carpenter
co
r
e: add -
-
file-ou
t
put vari
a
ble
for
m
a
ke
-j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
r
pen
t
er
smatch_extra: clear out
struct members
i
f
a
the pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpe
n
t
e
r
e
x
tra:
fix cra
s
hing b
u
g fro
m
last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n
Carpenter
ex
t
ra: exp
r
essions
are equ
i
va
l
ent even if they are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan C
a
rpenter
user_data:
u
s
e is_
c
apped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: handle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
a
n Carpenter
*new*
s
match_capped
:
in
t
roduce is
_
capped()
f
un
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpenter
*new* check_user_data: record all
t
he u
s
er data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_si
z
e
: there
wa
s
a m
i
stake in handling calls
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
buf_size:
record t
h
e s
i
z
e
of stru
c
t me
m
bers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
ar
p
enter
extra: cleanup: us
e
my_i
d
instead o
f
S
MATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Ca
r
penter
db: w
r
o
ng parameter n
u
mb
e
r in struct member callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
ext
r
a: don't
p
rint an extr
a
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
db: limit
the nu
m
ber o
f
fun
c
tion pointer ca
l
l
s
we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
db,
e
xtra: intro
d
uce ad
d
_
member_i
n
fo_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
ex
t
ra, db:
re
c
ord
a dummy o
u
tp
u
t for every
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
Carpe
n
te
r
d
b
:
use option
_
no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
e
x
tra, db:
move some
db function
s
from sm
a
tch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
penter
b
uf_s
i
ze:
handle function pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n Carpenter
db: f
o
llow calls to funct
i
ons pointers as well
a
s norma
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
Carpenter
f
low: set position for g
l
obal vari
a
ble
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan C
a
r
p
enter
sig
n
ed:
allow c
h
ec
k
s like: if (foo < 0 || foo
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
Car
p
enter
o
v
e
rflo
w
: get rid of "buffer overflow
c
alling %s
.
par
a
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
get rid of --p
r
i
n
t_returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
a
n
C
a
r
p
enter
extra, db: we ha
v
e
to re
c
ord every fu
n
ction ca
l
l
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ranges: invalid ranges default to the
whole r
a
nge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Ca
r
penter
sig
n
ed: don't
warn about unsigned
c
o
mparisons to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpenter
e
x
tr
a
,
d
b: re
c
ord the struct m
e
mber value
s
in t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
e
xtr
a
: fix p
a
r
sing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpen
t
er
f
i
ll_db_
u
ntr
u
sted
:
follow untrusted data do
w
n the call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n
Car
p
enter
e
xt
r
a: don't pr
i
nt
i
f the min-max as t
h
e
v
al
u
e pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
r
a
nges: introduce
i
s_whole_ran
g
e_rl() and fix is
_
whol
e
_
r
a
nge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db: use the func
t
ion_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
p
e
n
ter
fi
l
l_db
_
call
e
r_info: calculate function_id
correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rp
e
n
t
er
debu
g
: add a __smatch_possibl
e
("variable"
)
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpe
n
ter
uncapp
e
d_
a
lloc: use _complex() version of get_v
a
riable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an
C
arpenter
extr
a
: db: put single
quotes around the functi
o
n name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpen
t
er
*new*
smatch_s
c
r
ipts/f
o
llow_p
a
rams
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpente
r
hooks: remove some commen
t
ed out
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
sql: snprintf() nul t
e
rminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
d
b
: mo
v
e buf_size to the
new a
d
d_definition
_
db_callback
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Ca
r
penter
db: int
r
oduce add
_
defini
t
ion_db_callb
a
ck()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an
C
arpenter
db:
s
t
o
r
e the value
s
of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
db:
m
a
ke database code u
s
ab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an Carpenter
*new* min_t() c
a
st
i
ng that
tru
n
c
a
te
s
the va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*ne
w
* r
o
senberg:
check f
o
r i
n
f
ormation lea
k
s fr
o
m
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tweak
the ->pos se
t
ting for fa
k
e assi
g
nments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an
Carpenter
flow: whi
t
es
p
ace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
ente
r
flow
:
pa
s
s
cond
i
ti
o
n a
s
signments to clients with ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect:
add some more tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
D
an Carpent
e
r
deref
_
chec
k
: ch
e
ck_deref
:
p
r
i
nt both
l
ine n
u
mbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan C
a
rpenter
co
r
e: set posi
t
ion earlier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
sl
i
st: preserve the
->l
i
ne value correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: print
mor
e
he
l
pful in
f
o
w
hen t
h
e data
file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpe
n
ter
g
e
n_arr
a
y
_
bounds
:
filter o
u
t bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpen
t
er
buf_size
:
silence a gcc false p
o
siti
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpente
r
use PTR_INT()
a
n
d INT_P
T
R() t
o
silence
cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
pente
r
slist: make alloc_sm_
s
tate() sta
t
ic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remov
e
some
d
ead cod
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
core: clong_sm()
s
hou
l
d preserve the ->li
n
e value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpent
e
r
update
s
m
a
t
c
h_
d
ata/
f
o
r
linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
D
an Carpenter
*n
e
w
*
bogus_loo
p
s
: warn on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
ext
r
a: use get
_
imp
l
i
ed_value(
)
i
nstead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Da
n
Car
p
ente
r
im
p
lie
d
: handle assignm
e
nts inside condit
i
ons
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
Carpenter
overflow: check s
p
r
intf() and snpri
n
tf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
smatch_flow: fix
c
o
mp
i
le error caused by upstr
e
am
c
hanges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overflow: c
u
t down on fal
s
e positiv
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smatch_data: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Ca
r
p
e
nter
ge
n
_no_retu
r
n_fu
n
cs:
always keep the def
a
ult no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
nter
In
a
couple pl
a
c
e t
h
e
o
riginal checked
f
or --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
arpe
n
ter
flow
:
handl
e
k
n
o
wn switch sta
t
ements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpent
e
r
*new*
r
et
u
rn_n
e
gative_
v
ar: re
t
urning
p
ositiv
e
values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carp
e
nter
*
n
ew
*
me
m
se
t
:
ch
e
ck for me
m
set(x, y,
0
)
;
typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
a
r
pente
r
Support
__builtin_
u
nreac
h
able()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
ove
r
flow: format
_
s
trings: put some
ver
b
ose message
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
Carpenter
buf_size: put so
m
e
guesses behind -
-
spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
C
a
rpenter
ex
t
ra: h
a
ndle
count down
for lo
o
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
C
a
rpenter
add RAW_ASSIGNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carpenter
Merge gi
t
://git
.
kernel
.
org/pub/scm/devel
/
sp
a
r
se/ch
r
isl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
an Car
p
enter
signed: d
o
n
'
t complain about putti
n
g 0xff into a
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpente
r
lo
c
king: add _raw_
s
pin_lock_nested
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Car
p
e
n
ter
intro
d
uce SELECT
_
H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
rpen
t
er
*new* check_s
e
le
c
t:
return
r
et
<
0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpenter
*new* input_free_device: don't
c
a
l
l this after input_u
n
regis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
n
ew*
check_
c
ontainer_of: cont
a
ine
r
_
of()
d
oesn't r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpente
r
c
r
eate check_
l
ist
_
loca
l
.
h wh
i
ch is for untracked
loca
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n
Carpenter
locking: _a
t
omic_dec_and_lock() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpente
r
fi
l
es: cleanup open_f
i
le()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
add default no_return_funcs if no
p
roject is specifi
e
d
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
pent
e
r
u
pdat
e
s
m
atch_data/ for
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next