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
slist, stree: add overwrite_sm_state_stree_stack() to header
2013-12-06
Dan Carpent
e
r
s
t
rlen:
a
dd a commen
t
and rena
m
e some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
s
trlen: handle
s
tring liter
a
ls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rp
e
nter
d
ebu
g
: introduc
e
__sm
a
tch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpe
n
ter
strl
e
n: introduc
e
get
_
i
mplied_str
l
e
n
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math: revert ac
c
identally c
o
m
m
itted code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an
C
arp
e
nter
buf
_
s
ize:
r
e
ad a range_l
i
st fr
o
m the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
enter
b
u
f_
s
ize: store type_size in t
w
o
t
a
bles the sam
e
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpente
r
buf_
s
i
ze: ma
k
e
size
_
from
_
db() w
o
rk again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpe
n
t
e
r
b
u
f_size, strlen: sep
a
rat
e
buf_
s
i
z
e and
strlen
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
C
a
rpenter
overflow: use fuzz
y
_max to warn
a
bout ar
r
a
y ove
r
flows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
math
:
fix get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
en
t
er
buf_size: represent buffer si
z
e as a ran
g
e
list ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
p
ent
e
r
b
u
f_size: handle places that dy
n
a
m
ical
l
y
alocate some
t
imes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpent
e
r
flo
w
:
introduce __in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
penter
extra, m
a
th: rew
o
rk ho
w
fuzzy max is han
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
a
r
penter
buf_size: han
d
le devm_kma
l
loc() allocat
i
ons
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
k
ernel
.
i
gno
r
e
d
_macros
:
add RT_
A
SSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
C
a
rpenter
sm
d
b
:
i
mprove "whe
r
e" output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpenter
ran
g
es: introduc
e
rl_has_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
helper: work around crashing b
u
g
i
n
get_membe
r
_n
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
a
rpenter
local_valu
e
s: pull
c
ode
in
o
ne inden
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
che
c
k_signe
d
: ig
n
ore things
w
ith negative n
u
mbe
r
of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ignore
structs a
n
d unions
i
n set_uns
e
t
_
to_
z
ero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
mo
d
ification_
h
ooks: delet
e
a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recu
r
se: introduce has_in
c
_dec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
C
a
rpenter
type_val
:
fix
a
b
u
ild warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: act
u
ally run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
rpenter
s
m
atch: a
c
ouple crashing b
u
gs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpen
t
er
all
o
w char to b
e
unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
helper: improv
e
i
s
_error
_
r
etur
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
type_val: introdu
c
e sto
r
ing struct me
m
b
e
r li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
p
e
nter
dat
a
_
s
ource:
l
oad
w
h
ere da
t
a
comes from
i
nto the da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
.
gitignore: ignor
e
bak
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: f
i
x
u
p_kernel
.
sh: sa
y
tha
t
we only have
6
4
C
PUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
C
arpent
e
r
d
b
:
p
r
e
serve unmer
g
ed st
a
tes in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: group function
pointer return state
s
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpe
n
ter
db:
order the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db:
fixup_kernel
.
sh:
ign
o
re t
i
mer_
l
ist funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db:
fixup_kernel
.
sh
:
remove so
m
e USER_DATA
c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
D
an
C
arpenter
db: improve data
b
ase debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
D
a
n Carpenter
smatch
.
h:
shift some
struct
m
embers around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
f
low: cl
e
ar_buffer: revert part
of
c
ommit
t
hat
u
ses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Carp
e
nter
flow: re-wri
t
e how
s
t
r
u
ct mem
b
ers are ini
t
ialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpe
n
ter
s
m
atch_clear_buffer: memcpy(
)
sh
o
uld se
t
the dest
i
nation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan
C
arpen
t
er
smatch_clear_buffer: make a
fu
n
ction static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpente
r
smatch_data/kernel
.
cl
e
ar
s
_argumen
t
: remo
v
e
mems
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Da
n
C
a
rpenter
f
l
ow: introduce outside_of_function() t
o
fix glob
a
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel
:
ign
o
re i40e_
d
bg_
n
etdev_o
p
s_
w
ri
t
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carp
e
nter
flow: set members to zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
db, extra, user_data:
h
andl
e
:
*x =
1
;
ret
u
r
n
x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpente
r
u
se
r
_data: rem
o
ve
kmemdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
user_data: make a functio
n
stat
i
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
r
pe
n
ter
container_of: people checking the return va
l
ue of
n
l
a
_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
help
e
r: fix
c
r
a
shing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
D
an Carpenter
u
s
er_data: make a fun
c
tion stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Ca
r
pente
r
m
a
t
h
:
export get_const_
v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carpe
n
ter
math: h
a
ndle bitwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
ath: handle
LEFT_SHIF
T
(
a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
ma
t
h: remove an impossible
c
ondi
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan
C
arpen
t
er
Fix --no-data so
it doesn't spew data
b
ase
error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
an Ca
r
p
e
n
ter
extra:
fix
a cr
a
sh p
a
rsi
n
g invalid
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
Carp
e
nt
e
r
sizeof: fix
typo in error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpente
r
sizeof: com
p
lain if code does sizeo
f
(4
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpe
n
ter
typ
e
: le
t
get_rea
l
_base_type() take N
U
LL par
a
meters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carp
e
nte
r
db: rename a
d
d_returned_state_
c
allb
a
ck()
=> add
_
spl
i
t_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
e
n
t
er
r
o
s
e
nb
e
rg info leaks: check __copy_to_
u
ser()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenbe
r
g in
f
o leaks: use
PARA
M
_CLE
A
RED data fr
o
m
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg info leaks: us
e
stripped dat
a
f
rom c
o
p
y
_
t
o
_user
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
rosenberg
inf
o
le
a
ks: ma
k
e check_
m
ember
s
_initializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpen
t
er
e
xtra: handle
"
i
f (a &
0x1)" conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
a
rpenter
flow: fake
assigns better for nested str
u
cts and arr
a
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
helper: get_member_
n
am
e
()
c
o
uld store u
n
ions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
u
ser_data: fix crashing b
u
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpen
t
er
math
:
i
m
prove how casts are h
a
nd
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpe
n
ter
mat
h
: introd
u
ce
get_abso
l
ute
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: improve
how bi
t
wise AN
D
s are h
a
n
d
led
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Ca
r
penter
kernel data/: upda
t
e to recent linux-ne
x
t (3
.
11-rc1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
db
:
declare
s
t
rnlen()
as r
e
tur
n
ing
"
0-s
3
2max[<=p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
u
s
er_data:
e
x
port is_user_macro(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
use
r
_data
:
mark n
t
ohl(
)
data
as user
_
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpe
n
te
r
user_data: im
p
rove tr
a
cki
n
g
se
t
v
s passed i
n
us
e
r d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Carpenter
implied: remove
so
m
e
u
nuse
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Car
p
enter
che
c
k_overflow
:
silence
some "
n
o
t al
l
ocating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan C
a
rpent
e
r
compa
r
ison: whi
t
e space cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
e
x
tra: handle binop comparisons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan C
a
rpenter
db/fixup_kernel
.
s
h:
f
i
lter ->read/write
(
) functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan
Carpente
r
func
t
ion_ptr: han
d
le sco
p
e of function pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
D
an Ca
r
penter
sm
a
tc
h
:
add
--de
b
u
g
=ch
e
ck_
n
ame option to d
e
b
u
g
only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpenter
comparis
o
n
: fix
b
re
a
kage caused
b
y moving
t
o
v
a
r
_sym_lis
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan
C
arp
e
nter
com
p
arison: cleanup
f
irst_sym() and rename to vsl
_
to_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n
C
arp
e
nt
e
r
comparison: cl
e
anup: g
e
t rid
o
f
s
ym pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
D
an
Carpente
r
com
p
a
r
ison: track modificati
o
ns better using var
_
sym_lists
commit
|
commitdiff
|
tree
2013-07-02
D
an Car
p
e
n
ter
var
_
sy
m
: introduce some
helper functi
o
n
s f
o
r
h
andling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
D
a
n
Carpent
e
r
debug:
a
dd
_
_smatch_states
(
"regi
s
ter_
c
omparison")
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
de
b
u
g
:
update debug to handle the new compari
s
o
n
f
e
atur
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan C
a
rpen
t
e
r
compar
i
son:
i
nherit links when t
h
e comparison is set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Da
n
Carpente
r
comparis
o
n
:
partially fix
how
l
inks are updated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Ca
r
penter
db: track
some m
o
re ==p1 return
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
compari
s
o
n
: save correct link
na
m
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
D
a
n Carpenter
helper: export app
e
nd() function (it's th
e
same
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next