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
overflow: don't complain about checks after use, inside a macro
2012-01-25
Da
n
C
arpente
r
overflow: don't co
m
plain
a
bout checks
a
fter use,
inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpente
r
d
b
: don't
increme
n
t the func_id too m
u
ch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-20
Dan C
a
r
penter
db: turn synchro
n
i
z
ation of
f
and use a big
g
er cache_size
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-19
Dan Carpent
e
r
*new*
l
og
i
c
a
l_i
n
stead_of_
b
itwis
e
:
p
la
c
es that use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Ca
r
penter
smatch*: checkpatc
h
.
pl
fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err_ptr_deref: handle PTR_RET()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpen
t
er
validation: remov
e
o
ut of date s
m
_locking
5
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpent
e
r
core:
handle foo +=
b
ar ?
1
: 0; expressions different
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
e
x
tra:
d
on't disc
a
rd
ca
s
t
.
strip_e
x
pr() =
>
s
trip_pa
r
ens()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
extra: cleanup
:
shuffle
c
ode around
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
extra
:
d
on't
remove casts,
thos
e
are impo
r
tant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpe
n
ter
debu
g
: fix some s
m
all
memory leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
lo
c
king:
r
emove some false
pos
i
t
ive-y fu
n
ctions without
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
lockin
g
:
add
s
ome more lock name va
r
iatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpenter
d
b: cal
l
er info n
e
eds to record the -1 paramete
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpent
e
r
math: fix
typo in comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-15
Da
n
C
a
r
p
enter
*new* b
o
g
u
s_irqr
e
s
tore: don't restore irq st
a
te bef
o
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan Ca
r
pe
n
ter
*
n
ew* check
_
wait
_
for
_
c
o
mmon:
m
ak
e
sure the return is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-09
Dan
C
arpenter
t
ype:
a
d
d expr
_
unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
D
an Carpenter
db:
p
ass &f
o
o type par
a
meter informatio
n
to called
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
math: do math fo
r
get_
i
mplied_
m
in/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan C
a
rpenter
helper:
when dis
p
l
a
ying sizeof() infor
m
a
t
ion
u
se bytes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
capped: trac
k
ca
p
pe
d
v
ar
i
ables acros
s
fu
n
ctio
n
boun
d
aries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
debug:
ad
d
__smatc
h
_implied_
m
i
n
/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-12-01
Da
n
Carpenter
m
ath:
w
hite space changes
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-25
Dan Car
p
ente
r
db: save function
p
o
i
n
ters saved
i
n arrays of stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Dan Ca
r
p
en
t
er
db/function
_
ptr:
clear
t
h
e
correct
t
a
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Car
p
enter
d
b: remo
v
e u
n
trusted table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpente
r
extra: uno
p
s don't n
o
rmally
cha
n
ge the value o
f
a v
a
riable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpenter
tin
y
w
h
ite space fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpe
n
t
er
unca
p
ped_al
l
oc: delete
thi
s
c
h
ec
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-17
Dan
C
arpenter
helper: remov
e
bogus paren
s
from
get_varia
b
le_from_expr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carp
e
n
ter
u
pdate
s
m
atch_data for 3
.
2
-
rc
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-11-01
Dan Carpenter
Allow
c
heck_debug
.
h
to
be included more
than once
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpe
n
t
er
core:
a
dd
-
-file-output
variabl
e
for make -
j
8
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-30
D
a
n Carpenter
smatch_
e
x
t
ra: cle
a
r out struct members if a the pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-28
Dan Carpen
t
er
extr
a
: fix crashing b
u
g
f
rom
last
com
m
it
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: e
x
pression
s
are equivalent even if they are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_data: use is_capped() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Dan
C
arpenter
user_data: handle bino
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-22
Da
n
Car
p
enter
*ne
w
*
s
match_capped: introduce is_c
a
pped(
)
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-18
Dan Car
p
e
nt
e
r
*new* check_us
e
r_data:
record all th
e
user data (and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
Carpenter
bu
f
_si
z
e: there was a mist
a
ke in handling
cal
l
s to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Ca
r
penter
b
u
f_s
i
ze: record the size o
f
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
extra: clea
n
up: u
s
e my_id
i
ns
t
e
a
d
of SMA
T
CH_EX
T
RA
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db: wrong
paramet
e
r numb
e
r i
n
struct member
callbac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extra: don't pri
n
t an extra $$
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
db
:
l
imit
the number of f
u
ncti
o
n
p
ointe
r
calls w
e
c
heck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
db, extra: in
t
roduce add_member_i
n
fo_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db
:
rec
o
rd a
d
ummy output for every f
u
ncti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
an Ca
r
penter
db: use
o
ption_n
o
_db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
Dan
Carpenter
extra, db
:
move some db
functions fro
m
smatch
_
extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n
Carpent
e
r
buf_size: ha
n
dle fu
n
ction poi
n
ters as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
an Carpe
n
ter
db:
f
o
l
l
o
w
calls to functions poin
t
ers as well as nor
m
a
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-11
D
an Carpenter
fl
o
w: set
positi
o
n
f
or global
v
ar
i
ables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
signed: allow checks like: if (foo <
0 |
|
foo
> x
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpe
n
ter
ov
e
rf
l
ow: get rid of "b
u
f
f
er o
v
erflo
w
calling %s
.
par
a
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-10
Da
n
Carpenter
get rid o
f
--print_r
e
t
urns op
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
D
an Ca
r
pente
r
extra, db:
w
e have to rec
o
rd every
f
unction call
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ranges
:
inva
l
id ranges default to the whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carp
e
n
t
e
r
signed: don't warn about unsign
e
d com
p
arisons to macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpente
r
extra, db: record the
s
t
ruct mem
b
er
values
i
n t
h
e d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpen
t
er
e
xtra: fix parsing of values
f
rom db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill_db_u
n
truste
d
: follow untrusted data dow
n
the
c
all
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
extra: do
n
't print if the min-max
a
s the
v
alue passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
rang
e
s: in
t
roduce is_who
l
e_ra
n
ge_rl() a
n
d fi
x
is_
w
hole_r
a
n
g
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
d
b: us
e
the f
u
nction
_
id correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
D
an
C
ar
p
enter
fil
l
_
db_calle
r
_
i
n
fo: ca
l
culate function_
i
d
c
orrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carp
e
n
t
er
d
e
bug: add a __smatch_po
s
si
b
le("vari
a
ble") function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapp
e
d_alloc: use _complex() ve
r
sion o
f
g
et_variable
_
from_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
en
t
er
e
x
t
ra: db:
p
u
t
s
i
ng
l
e
quotes
arou
n
d the functi
o
n name
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* sm
a
tch_scripts/follo
w
_
params
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
hooks: remove s
o
m
e co
m
me
n
ted out code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snp
r
int
f
(
) nul terminat
e
s its
s
trings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
db: move buf_size to
t
he new add_d
e
f
in
i
tion_
d
b_ca
l
lback(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n C
a
rpente
r
db: in
t
ro
d
u
c
e add_definition_db_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store
t
he
v
alues
of parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
Carpenter
db:
make database code
usable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-27
Dan
Carpenter
*new*
m
in_t() ca
s
ting that trunca
t
es the values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-23
D
a
n
Carpent
e
r
*new*
r
osenberg: check
f
or information leaks fro
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow
:
t
w
eak th
e
->
p
o
s
settin
g
for fake assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpenter
flow: whitespace changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: pass
conditio
n
assignments to client
s
with ASS
I
GNMENT_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
n
o
_e
f
fe
c
t: add
some more tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree