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
db: fix how parameter math works
2014-09-24
D
an Carpenter
db: fix how
p
a
r
a
meter
m
ath
w
orks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpenter
assigned_expr: add reve
r
se link
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-24
Dan Carpent
e
r
links: crea
t
e a smatch_li
n
ks
.
c file
with f
u
nc
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
parse_c
a
l
l
_math: fix left overs from the format change
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
param_set: w
r
ite struct members in term
s
of p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpent
e
r
extra: write certain returned
struct member
s
in terms
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n
Carpenter
db: p
a
ss the return expressio
n
to
t
he returned_member_
c
allback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carpenter
e
xtra: save return val
u
es
i
n terms of
p
arameter ma
t
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Car
p
en
t
er
db:
unify how
parameter d
e
script
i
ons a
r
e saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-22
Dan Ca
r
penter
c
o
mparison: add
an ignore parameter to expr_e
q
ual_to_pa
r
a
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpe
n
ter
unreachable: ig
n
or
e
t
he
u
n
re
a
chab
l
e()
macr
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
D
an
Carpen
t
e
r
err_ptr_deref
:
passing an ERR_PTR to kf
r
ee(
)
is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan
C
arp
e
n
t
er
ext
r
a: ha
n
dle
m
ergin
g
NU
L
L pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Ca
r
p
e
n
ter
extra
:
a
d
dress
e
s of arrays are
non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carpent
e
r
db: remove bogus par
a
mete
r
information from hook ty
p
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Carpenter
db:
a
dd
a new ta
b
le which hold para
m
eter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
D
a
n
Carpe
n
ter
type: i
n
trod
u
ce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpent
e
r
locking: re
m
o
ve
s
ome dupli
c
a
te
"som
e
t
imes loc
k
e
d" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Car
p
enter
g
e
ne
r
isize
.
pl: filter
some
more stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpe
n
t
e
r
genere
s
ize
.
p
l:
cleanup indentation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
D
a
n
C
arpenter
ranges: a po
i
nter to a
n
a
r
ra
y
is ju
s
t
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
a
n Carpenter
extra: re
c
ord global declar
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpenter
c
onditions: up
d
ate some debug ou
t
p
ut
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
c
o
m
p
a
ri
s
on: introduce p
o
ssible_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpent
e
r
ext
r
a: up
d
ate a debug sta
t
em
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
C
arpenter
functi
o
n_pt
r
s: track functions which
r
eturn a f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
show_e
r
r
s
.
sh: quote some
strings properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
pe
n
ter
s
l
ist: put get_sm_state_st
r
ee_s
t
ack() i
n
t
h
e
.
h fi
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
stat
e
s: chang
e
the deb
u
g outpu
t
forma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan C
a
rp
e
n
t
er
struct_as
s
ignment: handle
k
z
a
lloc()
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
p
enter
slist: add th
e
file
n
ame to some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpente
r
flow: parse
g
loba
l
v
ariables before
parsing func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpe
n
ter
s
list: expor
t
the set_
s
tate_stree_pe
r
m() function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
c
o
mpariso
n
:
a variab
l
e is always equal to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpenter
rem
o
v
e null te
s
t
s
f
o
r ar
r
a
y
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpen
t
er
Make
f
ile: allow CC to be defined outside
the ma
k
efile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpen
t
er
silence non
-
ANSI warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
Dan
C
a
rpenter
helper: p
r
event
segfault in expr_
t
o_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
D
a
n Carpenter
extra: improv
e
h
andling of "if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Ca
r
pen
t
e
r
missi
n
g_br
e
ak: m
a
ke a func
t
ion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
D
an Carpen
t
er
db:
fix
runtime breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
dereferen
c
e
s
_para
m
: add more dereferenced
v
ariables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpente
r
ranges: remove un
n
eeded NULL c
h
e
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Ca
r
p
enter
t
yp
e
_val: store fake assignments in
a
s
l
i
g
htly dif
f
e
r
ent
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
C
a
rpenter
para
m
_set/filter:
d
on't print less useless information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpent
e
r
db: fixup after
c
all_implies changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Ca
r
penter
param_cleared: handle direct assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpent
e
r
d
b
: ma
k
e
c
a
l
l_impli
e
s
ma
t
c
h caller_info with a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan
C
arpenter
smdb
.
py: fix t
e
st for if a
datatype is known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
p
e
nter
assigned_expression: get the assigned expression using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
r
p
enter
ros
e
nberg: h
a
n
d
le struct
to st
r
u
ct assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
d
ata/k
e
rnel
.
size
o
f
_param
.
r
e
move: add
_
_d
y
nam
i
c
_p
r
_debug()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Ca
r
penter
st
r
uct_assignment: intr
o
duce get_faked_expressio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
D
an C
a
rpenter
struct_assignme
n
t:
h
andle
m
emcpy
(
foo,
.
.
.
)
w
here foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
ar
p
e
nter
math: b
e
more
ambitious ha
n
dling
r
ig
h
t shif
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
Carpe
n
ter
user
_
da
t
a: kstr
t
oul() and friends should taint d
a
ta
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Da
n
C
arpenter
extra: more limits on which variab
l
es are equivalent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan C
a
rpenter
d
b
: ge
t
r
eturn state
s
from function pointers if poss
i
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan
C
arp
e
nt
e
r
propagate: remov
e
val
i
d
a
tion test becaus
e
w
e
re
m
oved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpe
n
ter
slist:
i
ntroduce merge_fake_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpenter
un
r
eachable:
s
ilence "not
a
ctually initialized" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpe
n
ter
rosenberg: fix some
f
alse positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
D
an
Carpente
r
debug: introduce __smatch_debug_check() to debug
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
D
a
n Carpen
t
er
*new* check_no_if_block
:
sometim
e
s the if block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carp
e
nter
unconstant
_
macros:
a
dd
V
M_SO
F
TDI
R
TY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan
C
arpenter
t
ype
:
introduc
e
i
s
_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carpen
t
er
user_data: introduce implie
d
_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: refa
c
t
o
r match_copy_to_
u
ser()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
er
ro
s
enberg: check
man
y
m
o
r
e functions instead of
just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpenter
rosen
b
erg: add memzero() to cl
e
ar
fun
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Da
n
Carpenter
param_cleared
:
memzero() c
l
ear
s
the para
m
e
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpent
e
r
db: spli
t
all boolean
f
u
n
ctions into one
a
nd zero strees
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpenter
c
l
ear_buffer: remov
e
this co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
ter
par
a
m
_
cleared: thi
s
shouldn't
d
epend on --in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpe
n
t
e
r
locking: updat
e
validation
t
o
t
he
new error
f
o
r
m
atio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: upd
a
te error
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
enter
struc
t
_assignme
n
t
:
fix h
o
w
s
m
atch handles foo = NULL;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpen
t
e
r
r
o
senberg
:
prepare
to
check pointers to struc
t
s as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosenber
g
: check for holes
at the end of the
struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
a
rpe
n
ter
rosenberg: th
i
s
check is kernel
s
pec
i
fic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreac
h
able: turn
it
o
n
by
d
efault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
h
e
l
per: introduce
get_prev_
s
t
atement() (fix the buil
d
)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
u
n
reachable: add
w
atchdog()
to k
e
rnel
.
no_return
_
func
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
un
r
eachable:
d
on't pri
n
t a warning if we jump to
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable: ignore unrea
c
hable code rig
h
t
a
fter
an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreach
a
ble: turn
off backward l
a
beled warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
ent
e
r
unreachab
l
e: add some more macros to the
.
i
g
n
ore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
flow: merge continues befor
e
the ite
r
a
tor_post_statem
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpent
e
r
f
l
ow: han
d
le post op return statem
e
nt
s
li
k
e: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpente
r
unreac
h
able: ig
n
o
r
e some conditionally unreachable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpente
r
unre
a
chable: ign
o
re common
false positives cau
s
ed by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
unre
a
chable: ignore unreac
h
abl
e
code after BUG()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arpen
t
er
unr
e
achable: move i
t
o
u
t of smatch
_
flow
.
c and smatch_s
t
a
tes
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
a
v
l: fix
f
ailing "
s
tree->stree_id ==
0
" a
s
s
er
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpente
r
o
ve
r
flow: don'
t
w
a
rn if we ov
e
rflow use buffers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
D
a
n Carpenter
smatch_typ
e
:
never refe
r
to ->b
i
t_si
z
e
directl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan C
a
rpenter
d
b
:
f
unction with too many pointers to it cause slow
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Car
p
enter
db:
r
ename db_callback to
c
aller_inf
o
_callb
a
ck
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpenter
propagate: delete this test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n
Carpente
r
store
d
_con
d
itions: don't store cons
t
ants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next