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
Makefile: allow CC to be defined outside the makefile
2014-08-25
D
a
n
Ca
r
pen
t
er
M
a
k
e
file
:
allow CC to be defined
outside th
e
make
f
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-25
Dan Carpent
e
r
silen
c
e
non-ANSI warning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
D
a
n
Carpenter
h
elper:
prevent segfault in exp
r
_to_va
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Car
p
e
n
t
er
extra: improve ha
n
dlin
g
of "if (x * 4 > 12
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Da
n
Carpenter
m
i
s
sing_break: make a function st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan
C
arp
e
nter
db: f
i
x
runtim
e
breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpenter
d
e
ref
e
rences_param: a
d
d more dereferenced variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpen
t
er
rang
e
s: re
m
ove un
n
ee
d
ed NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpente
r
type_v
a
l: store fa
k
e assignmen
t
s i
n
a slightly different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
an
C
ar
p
en
t
e
r
p
a
r
a
m
_set/filter: d
o
n't print
l
ess useless inf
o
rmatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
en
t
er
db
:
fixup aft
e
r
c
all_i
m
plies changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan
Carpenter
pa
r
a
m_cl
e
ared:
h
andle direct ass
i
gn
m
en
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
db: make cal
l
_im
p
lie
s
ma
t
ch caller_info
w
i
th a key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan
C
arpenter
smdb
.
py: f
i
x t
e
st for i
f
a
datatype is known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
a
ssi
g
n
ed_expression
:
get the assign
e
d expr
e
s
s
ion using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpe
n
t
e
r
rosenberg: handle struct to
s
truct assig
n
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
data/
k
ernel
.
s
i
zeof_param
.
remove
:
ad
d
__d
y
namic_pr_deb
u
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_assignmen
t
: introduce get_faked_
e
xpression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan
C
arpenter
str
u
ct_ass
i
gnment:
h
an
d
le m
e
mcpy(foo,
.
.
.
) wher
e
fo
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
math: be
more ambitious
h
andlin
g
ri
g
ht sh
i
f
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
D
an Ca
r
penter
us
e
r_data: kst
r
toul() and
f
r
i
ends shou
l
d ta
i
nt data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
ext
r
a: more limits on which
variabl
e
s are equ
i
valen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Da
n
Ca
r
penter
db: get
r
etur
n
states from function point
e
rs if possibl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
D
an
Carpenter
pr
o
pagate: remove valida
t
ion test
b
ecaus
e
we removed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Ca
r
p
e
nter
slist: introduce
m
erge_fak
e
_
stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable: silen
c
e
"no
t
actually
i
nitial
i
z
ed" false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenberg: fix some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Dan Carpenter
debug: introd
u
ce __smatch_debug_ch
e
c
k
(
)
to debug
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpenter
*new* che
c
k_n
o
_if_blo
c
k: sometim
e
s th
e
if
bloc
k
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
u
nconstant_ma
c
r
os:
a
dd
V
M
_
S
O
FTDIR
T
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n
Car
p
enter
type: introduce is_
s
tring
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carp
e
nter
user_data:
i
ntroduce implied_user_
d
a
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Da
n
Carpe
n
ter
rosenber
g
:
r
e
factor matc
h
_copy_t
o
_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpen
t
er
rosenberg:
che
c
k ma
n
y more functi
o
n
s instead
o
f
j
u
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosen
b
erg
:
add memzero(
)
to cl
e
a
r functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpen
t
er
param_cleared: m
e
m
z
ero() clears the param
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan C
a
rp
e
nter
db: sp
l
i
t all boolea
n
fun
c
tions into one and zero
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpen
t
e
r
clear_buffer: remov
e
this
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Ca
r
penter
param_cleared: this s
h
ouldn't d
e
pend on --info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
locking: update valid
a
t
i
o
n to the n
e
w error formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
locki
n
g: u
p
date error format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Ca
r
penter
struc
t
_a
s
signment: fi
x
ho
w
smatch h
a
ndles foo = NUL
L
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpente
r
ro
s
enberg: p
r
epa
r
e to check
pointers to structs as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Car
p
e
nter
ros
e
nberg: check for ho
l
es
a
t
the end
o
f the struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan C
a
rpenter
rosenberg: this check is kernel sp
e
cific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreac
h
a
b
le: turn it on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
penter
helper
:
i
n
troduce get_prev_s
t
ate
m
ent() (fix the b
u
i
ld)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
unreac
h
a
b
le: add w
a
tchdog
(
) to
ker
n
e
l
.
no_retur
n
_
f
unc
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreachable:
don't print a w
a
rning if
w
e
j
um
p
to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Ca
r
penter
unreachable
:
igno
r
e u
n
reachable code rig
h
t af
t
er an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Ca
r
pent
e
r
unreachable: turn off backward
l
abeled warning
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unre
a
chable: add some
mor
e
m
acros t
o
the
.
igno
r
e an
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
en
t
er
f
l
ow: mer
g
e continues before the it
e
ra
t
or_post
_
statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
e
n
ter
flow
:
handle post op return sta
t
e
ments
like: return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
C
arpenter
unreach
a
ble: ignore some conditionally unrea
c
hable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
arp
e
n
t
er
unreachabl
e
: ig
n
o
r
e
common fal
s
e pos
i
tives caused b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpen
t
er
unre
a
chable: ignore unreachable
c
ode afte
r
B
U
G()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
r
penter
unreachable:
move it ou
t
of smat
c
h_fl
o
w
.
c
a
n
d
smatch_
s
tat
e
s
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Carpenter
avl:
f
ix failing "stree->str
e
e
_
id == 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Dan Car
p
e
n
ter
overflow: don
'
t
warn if
we overf
l
ow use buffe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
D
an Carpenter
smatch_t
y
pe: n
e
v
er refer to ->
b
it
_
s
ize
d
i
rectl
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpente
r
db:
f
un
c
tion with too man
y
pointers to
it cause slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan
Carp
e
nter
db
:
rename db_callb
a
ck to ca
l
ler_info_c
a
l
lbac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan C
a
rpente
r
prop
a
gate: delete thi
s
test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
ter
stored_condi
t
ions
:
do
n
't store
constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n C
a
rpente
r
Merge git://git
.
kernel
.
org/pub/scm/
d
evel/spar
s
e/ch
r
i
sl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
st
a
tes: add ano
t
her r
e
ad_onl
y
check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
C
arpenter
missin
g
_
break: use
fewer
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan C
a
rpenter
av
l
: add a counter
f
or w
h
e
n
you alloca
t
e o
r
free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
arpente
r
slis
t
, r
e
turns: intro
d
uce merge_stree_
n
o
_pools()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
u
nconst
a
nt_macros:
a
llow (foo & _P
A
G
E
_NX
)
ev
e
n when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_size: allow s
t
rncmp("
f
oo", bar, 100) w
h
ere 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Car
p
enter
param_set
:
only record pa
r
a
m
eters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
extra: ignore
s
truct
to struct assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
Carpenter
i
mplied: add the
stree
_
i
d to
d
ebug o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
clear_buffer
:
de
l
ete an
u
nused function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an Carpenter
clea
r
_buf
f
er: delete ob
s
olete code to
h
a
n
dle struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
compari
s
on: don't recor
d
that
a
c
tual stru
c
ts are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
ass
i
gned_expr: don't sto
r
e fake a
s
sig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpenter
de
b
ug: ch
a
nge __s
m
atch_cur_slist() to __smatch_cur_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Da
n
Carpente
r
states: d
o
n
'
t __u
n
nullify_path unnecessaril
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan C
a
rpenter
implie
d
:
s
match was saying somethings we
r
e
impli
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan
C
a
rpenter
stree:
f
i
x
a bunch o
f
s
t
re
e
leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpe
n
ter
s
t
ates: merge nullify_all_sta
t
es() into save_all
_
s
tates()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Car
p
enter
stre
e
: make strees c
o
py on write
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Ca
r
penter
str
e
e: move stree_id
i
nto the avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slis
t
: renam
e
sl
i
st_id to stree_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpente
r
a
vl:
introduce FOR_EACH_
M
Y_
S
M() and c
a
llers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
kunmap: update valid
a
tio
n
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow:
f
ixe
s
f
or hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
extra: fix unkno
w
n += assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implied: add
a
n
e
wline to o
u
tpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
stored_conditio
n
s
: store co
m
p
arisons an
d
n
o
t
l
ogicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpe
n
ter
db: fix nested call handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
kunmap: tidy up erro
r
message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carpenter
condi
t
ions: fi
x
s
o
me
l
eaks
in han
d
le_s
e
lect()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
sl
i
st: fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an
C
a
rpenter
stree
f
allout: implic
a
tions not working
100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan C
a
rpe
n
ter
states:
r
e
name fake_cur_slist functions to fa
k
e
_
cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
C
a
rpenter
states: rename
_
_print
_
c
u
r_slist
(
) to __print
_
cur_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next