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 C
a
rp
e
n
ter
math: fix t
y
po in com
m
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpe
n
t
e
r
*
n
ew
*
bogus_ir
q
resto
r
e: don't restore ir
q
sta
t
e
be
f
o
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
*n
e
w* c
h
eck_wait_for_common: mak
e
sure the retu
r
n is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n Carpenter
type: add expr_
u
n
s
igned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n Carpenter
db: pass &foo type para
m
eter inform
a
tion to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Carpen
t
er
math: do m
a
th for
g
et_implie
d
_
m
in/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
help
e
r:
when displaying sizeof(
)
i
n
fo
r
mation use byt
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Ca
r
penter
capped:
t
rack
c
apped
v
a
riable
s
across funct
i
on bo
u
ndaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpenter
de
b
ug: add __sm
a
tch_impl
i
ed_min
/
m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carpenter
math: white space
chan
g
es
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
a
n
C
ar
p
enter
db: save
f
uncti
o
n pointers sav
e
d
in arrays of stru
c
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan C
a
rpenter
d
b
/fu
n
ction_ptr: clear the correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Carpenter
db: remov
e
u
n
trust
e
d table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
D
an Ca
r
p
ent
e
r
extra: unops don
'
t
n
orma
l
l
y
change the value
of a
v
ariable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carp
e
nter
t
i
n
y
white space fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
D
a
n
Carpe
n
ter
uncapped
_
allo
c
: delete th
i
s c
h
e
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
helper:
r
emove bogus parens f
r
om g
e
t_v
a
r
i
able_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Da
n
Car
p
e
n
ter
update smatch_data for 3
.
2
-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow check_debu
g
.
h to b
e
i
ncl
u
ded more than
onc
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
D
an C
a
rpenter
core: add --file-output va
r
iable f
o
r ma
k
e -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Da
n
Carpenter
sm
a
tch_
e
xtra: clea
r
o
ut stru
c
t
mem
b
ers
i
f a th
e
pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
D
an Carpenter
extra
:
fix
cr
a
shing bug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
ente
r
extra
:
expressi
o
n
s are equivalent even if they a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Carpenter
user_data: use is_capped() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpen
t
er
u
s
e
r_dat
a
: h
a
ndle binops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
ente
r
*new* smatch_capped: introd
u
ce is_
c
apped()
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carp
e
nter
*new* che
c
k
_user_data: recor
d
a
ll
t
he
u
s
er
d
ata (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n
Carpe
n
ter
buf_s
i
ze: there was a mis
t
ake
i
n handling
calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpen
t
er
b
uf_
s
i
ze: record the size
of st
r
uct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: cleanup: use my_id instead
o
f
SMATC
H
_EX
T
RA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpent
e
r
d
b
: wrong
p
aramete
r
number in st
r
uc
t
member callba
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
extra:
d
on't
p
r
int an extr
a
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Ca
r
pe
n
t
er
db: limit the number of
f
u
nction pointer calls
w
e check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
C
arpenter
db, ext
r
a: introduce add_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carp
e
nter
extr
a
,
db:
r
ecord a dummy o
u
tput for every fun
c
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan C
a
rpenter
db:
u
se option_
n
o_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
an Carpenter
extra, db:
move some db functions
from sma
t
ch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
buf_size: h
a
ndle f
u
nction pointers
a
s well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan
Carpenter
db: f
o
llow calls to fu
n
ctions pointers a
s
w
ell as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n
C
a
r
pent
e
r
fl
o
w
: set position fo
r
global
v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
sig
n
ed: allow checks
l
i
k
e: if
(fo
o
< 0 || fo
o
> x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpen
t
er
overflow
:
get rid of "buffer overf
l
ow calling %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
t
er
get rid of --p
r
int_returns opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ext
r
a, db: we have to record
e
very f
u
nction call
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an
C
arpenter
ra
n
g
e
s: invalid rang
e
s de
f
ault to
the whol
e
range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpenter
signed: don't
w
ar
n
abo
u
t
u
n
signed compari
s
o
n
s to mac
r
os
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ex
t
ra,
d
b:
r
ecord the struct member val
u
e
s in the dat
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan
Carpenter
e
xtra: fix
p
a
r
s
i
ng of value
s
f
rom
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
fill_
d
b
_
u
n
t
r
u
sted: follow
u
ntru
s
ted
data down
t
he call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
extra: don
'
t pri
n
t if the mi
n
-max
as the val
u
e passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
r
penter
ranges
:
introduce is_whole
_
range_rl()
a
n
d
fix is_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
db:
u
s
e t
h
e
function_id c
o
rrec
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_caller_info: c
a
lcula
t
e func
t
ion_id
c
o
r
rec
t
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
debug: add a _
_
smatch_possible("var
i
able") functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_
a
lloc: 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
Carpent
e
r
extra: db: put
single quotes around t
h
e
function
name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
*
n
ew* smatch_sc
r
ip
t
s/fo
l
low_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
hooks: remove
s
ome commented
out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
s
ql: snpri
n
tf() nul terminates
i
t
s s
t
rings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db
:
m
o
ve buf
_
s
ize
to t
h
e n
e
w
add_definition_db_callbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpent
e
r
db
:
introduce add_definition_
d
b_ca
l
lback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b: store the val
u
es of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: m
a
k
e
dat
a
base co
d
e usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpen
t
er
*new* m
i
n_
t
() cast
i
ng t
h
at
t
runcat
e
s the
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*
n
ew
*
ro
s
en
b
erg: check for information l
e
aks from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
n
t
er
flow:
tweak the ->p
o
s setting fo
r
fake
a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: white
s
pace chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
a
r
p
e
nter
flow: pass condi
t
i
on assignments to clients
with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
n
o_e
f
fect: add so
m
e more
t
ests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
dere
f
_check:
c
heck_deref: print b
o
th l
i
ne numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Ca
r
pent
e
r
core: set position
e
arlier in
smat
c
h
_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpe
n
ter
slist
:
preser
v
e the ->lin
e
value corr
e
c
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpent
e
r
overflow: print more h
e
l
pful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
ge
n
_array_bound
s
:
f
ilte
r
out bogus
lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
b
u
f_size:
s
ilence
a gcc false positi
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Ca
r
p
enter
use PTR_INT() and I
N
T_PTR() to silen
c
e cast w
a
rnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpenter
slist:
m
ake all
o
c_
s
m_sta
t
e() s
t
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpe
n
ter
slist: remove some dead co
d
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
c
o
r
e
: clong_sm()
s
hould
p
re
s
erve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
a
r
p
enter
up
d
ate smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*new* bog
u
s_loo
p
s: wa
r
n
on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
extra:
u
se get
_
implied_value() instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implied: handle assignments ins
i
de cond
i
tions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpente
r
overflow: check s
p
rintf() and snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Ca
r
penter
smatch_flow: f
i
x compile error
c
a
u
sed by upstream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
C
a
r
p
enter
overflow: cut
d
own
on
f
alse p
o
s
i
tives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpente
r
smatch_data
:
update f
o
r 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an Ca
r
penter
gen_no_return_funcs: always keep
t
he defa
u
l
t n
o
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
C
a
rpen
t
er
In a couple plac
e
the or
i
ginal chec
k
ed for --sp
a
m
m
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
pent
e
r
flow:
h
a
ndle known swit
c
h stat
e
ments
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n
Carp
e
nter
*new* ret
u
rn_negative_
v
ar: returning positive
v
alue
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*
n
ew* memset: check for memset(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
D
a
n
C
a
rpenter
Supp
o
rt
_
_builtin_unr
e
ach
a
b
le(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan
C
arp
e
nter
o
ve
r
flow
:
format_stri
n
gs: pu
t
s
o
me v
e
rbose mes
s
a
g
es
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan
Car
p
enter
buf_size: put some gues
s
e
s behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra: handle count dow
n
for loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan C
a
rpent
e
r
ad
d
R
AW_ASSI
G
NMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Car
p
enter
Merge git://git
.
kernel
.
o
rg/pub/
s
c
m
/devel/sparse/chri
s
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
signed: d
o
n't complain about putt
i
ng
0
xff into
a
signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add
_
raw_spin_
l
ock_nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next