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
silence non-ANSI warnings
2014-08-25
Dan Ca
r
p
enter
silen
c
e non-
A
N
SI warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-05
Dan
Carpe
n
ter
help
e
r: p
r
event segfault in expr_to_
v
a
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-25
Dan Carpent
e
r
extra: improve handli
n
g of
"
i
f (x * 4 > 1
2
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-18
Dan
C
a
r
penter
missing
_
break: make a funct
i
o
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-14
Dan Carpenter
db:
f
i
x runtime
break
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carpe
n
te
r
deref
e
rences_param: add more de
r
eferenced v
a
riab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
Carpenter
ra
n
ges:
r
emove unneeded NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n
Carpent
e
r
type_val:
stor
e
fake assi
g
nments in
a
slightly different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
C
a
r
p
enter
param_set/filter:
d
on't print less usele
s
s informatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
D
an Carpenter
db
:
fixup after c
a
ll_implies chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carp
e
nter
param
_
clea
r
e
d: handle direct
assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carp
e
nt
e
r
db: make cal
l
_implies
m
atch caller_
i
nfo with a
key
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-18
Dan Carpenter
smdb
.
py: fi
x
tes
t
for if a datatype
i
s known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Carpenter
assigned_express
i
o
n: get the assi
g
ned exp
r
ession us
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan C
a
rpente
r
rose
n
b
erg: handl
e
struct to s
t
ru
c
t
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-06-12
Dan Ca
r
penter
da
t
a/ke
r
n
e
l
.
s
i
zeof_param
.
remove:
a
dd __dynamic_
p
r_deb
u
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpent
e
r
struc
t
_assignmen
t
: introduce get_faked_expressi
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
st
r
uct_as
s
ignment: handle memcpy(foo,
.
.
.
) where foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpent
e
r
math: be mor
e
am
b
itious handling right sh
i
fts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan C
a
rpenter
user_data: kstrto
u
l()
and friends s
h
ould taint data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-28
Dan
Carpenter
extra: more
lim
i
ts on which vari
a
bl
e
s a
r
e
eq
u
ivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-27
Dan C
a
rpent
e
r
db
:
g
e
t
r
e
t
u
rn states
f
r
om functi
o
n pointers if p
o
ssible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
propagate: rem
o
ve v
a
li
d
at
i
on test be
c
ause we rem
o
ved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
slist: introduce merge_fa
k
e
_
s
tree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Dan
C
a
r
penter
unreachable: s
i
lence "n
o
t actua
l
ly initialize
d
" fal
s
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-22
Da
n
Carpenter
ro
s
enberg:
f
ix some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-16
Da
n
C
a
r
p
enter
debug: introd
u
ce __
s
match_deb
u
g
_check() to debug a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-14
D
an Carp
e
nter
*new* chec
k
_no_if_blo
c
k: someti
m
es t
h
e if
b
l
o
c
k
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-13
Dan Car
p
enter
u
n
c
o
nstant_mac
r
os: add VM_SOFTDIR
T
Y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
an Carpenter
type: i
n
troduce i
s
_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carp
e
nter
us
e
r_data:
i
ntr
o
d
u
ce imp
l
ied
_
use
r
_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
ro
s
enberg: refac
t
or match_copy_
t
o_u
s
er()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
Dan
Carpenter
rosenberg: c
h
eck many more func
t
ions instead of just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Ca
r
pe
n
ter
rose
n
berg: add m
e
mzero() to
clear
f
u
n
c
tion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-06
Dan
Car
p
enter
p
aram_clear
e
d
:
m
emzero()
c
l
ears the parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpe
n
ter
db: split all boolean functions into one
a
nd zer
o
strees
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-05
Dan Ca
r
p
enter
clear_buffer: rem
o
ve this
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Da
n
Carpenter
p
aram_cleared: thi
s
sh
o
uldn
'
t depend on
-
-info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
lockin
g
: upda
t
e validation to the new error formatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
l
o
c
k
ing: update er
r
or format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
Carpenter
struct_a
s
s
i
gnmen
t
: fix how smatch handles
foo = NULL;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
rosen
b
erg: pre
p
a
re to c
h
e
ck pointers to structs
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n Carpenter
rosenbe
r
g
:
c
h
eck for holes at the
end of th
e
s
t
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpe
n
ter
r
o
senberg: this ch
e
ck is kerne
l
sp
e
cific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreach
a
ble: turn it on by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpente
r
helper
:
introduce get_prev_state
m
e
nt() (fix the
b
uild)
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpenter
unreachab
l
e:
a
d
d
watc
h
dog() to
k
e
r
nel
.
no_return_funcs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Car
p
e
n
ter
unreachable: don't print a warning if we jump to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Da
n
Carpen
t
er
unreachable: ignor
e
unreachable c
o
d
e right af
t
er an
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
unreac
h
abl
e
:
t
urn off backw
a
rd labeled
w
arni
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Ca
r
penter
unreach
a
ble: ad
d
some more
macros to th
e
.
ignore a
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
flow: merge continues before the iter
a
t
o
r_po
s
t_statement
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
C
ar
p
enter
flow: handle p
o
st op
retur
n
state
m
e
nts like: re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Ca
r
penter
unreachable: ignore some
c
o
n
di
t
iona
l
ly unreachab
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreacha
b
le: ignore co
m
mon f
a
ls
e
positives ca
u
sed by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Car
p
e
nte
r
unreachable: ignore u
n
reachable code after BUG(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
n
ter
unreacha
b
le: move it
o
ut of smatch_fl
o
w
.
c and smatch_
s
tates
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
Carpe
n
ter
a
vl: fix failing "stree->stree_id
=
= 0" assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-24
D
an Car
p
en
t
er
ove
r
flow: don't warn
i
f we ov
e
rflow use buffers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-16
Dan
Carpent
e
r
smat
c
h
_
type: never re
f
er to -
>
bit_size directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpenter
db: func
t
i
o
n with too many pointe
r
s to it
cau
s
e slow
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
d
b: rename
d
b_callback to caller_info_call
b
ac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
propagate:
delete this test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Ca
r
penter
stored
_
conditions: d
o
n't store constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-04-10
Dan Car
p
enter
Merge git://git
.
ke
r
n
el
.
org/pub/scm/devel/spars
e
/ch
r
isl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
states: add a
n
other read_on
l
y
ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
miss
i
n
g_break: use
f
e
w
er s
t
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
avl: add a counter for w
h
en you allocate or free a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Ca
r
penter
slist
,
returns: i
n
troduce merge_stree_no
_
poo
l
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpe
n
t
e
r
unco
n
s
t
ant_macros:
allow (foo &
_PAGE_NX) even whe
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
buf_size: al
l
ow
s
trnc
m
p("
f
oo", bar,
1
00) where 100
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Car
p
e
n
t
er
param_set: onl
y
r
ecor
d
parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan C
a
rpenter
extra: igno
r
e
struct to struct ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
arpenter
implied:
a
dd the s
t
re
e
_id to deb
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
a
n Carpe
n
ter
clear_buffer: delet
e
an u
n
used
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
D
an
C
a
r
p
enter
cle
a
r_buffe
r
: del
e
t
e obsolete code to hand
l
e struct
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
c
o
mp
a
r
ison: don't record t
h
at actua
l
s
t
ructs are equivalent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
a
s
signed_expr: don't store fake assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-06
Dan
C
a
rpe
n
ter
debug
:
change __smatc
h
_c
u
r_
s
list
(
) t
o
__smatch_cur_stree
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Car
p
enter
sta
t
es: don't __unnullif
y
_path un
n
ecessa
r
ily
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-03-05
Dan Carpen
t
er
i
m
plied: smatch
was saying something
s
were implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan Carpenter
stree: fix a
b
u
nch
o
f st
r
ee lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-28
Dan C
a
rpe
n
te
r
states: merge n
u
llif
y
_
all_states() i
n
to save_a
l
l_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpe
n
ter
str
e
e:
m
ake stre
e
s copy
on wr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carp
e
nter
st
r
ee: mov
e
s
t
r
e
e_id into th
e
avl root
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
s
l
ist: r
e
na
m
e s
l
ist_id to st
r
ee_id
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpente
r
avl: introd
u
c
e FOR
_
E
ACH_MY_SM
(
)
an
d
callers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an Carp
e
nte
r
kunmap: update
v
alidation
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
flow: fixe
s
f
or hair
y
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
Carpenter
extra: fix unknown
+
=
assi
g
nment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
implie
d
: add a newl
i
ne t
o
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
an
Carpenter
s
t
ored_conditions: st
o
r
e
comparisons and not logicals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n
C
a
r
penter
db: fix nested call handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Da
n
Carpenter
kunmap
:
tid
y
up error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
D
a
n Carpenter
conditions
:
fix some leaks in
handl
e
_
s
e
lect()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan Carpenter
slist
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-27
Dan
C
ar
p
ent
e
r
stree fallou
t
: implications not w
o
r
king 100%
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan
Carpenter
st
a
tes: rename fake_cur_sl
i
st fu
n
ctions to fa
k
e_cur_str
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Da
n
Carpenter
s
t
ates:
r
ename __print_cur_s
l
ist(
)
to __pri
n
t_cu
r
_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-02-25
Dan Carpe
n
ter
avl: rename avl_
f
ree()
t
o free_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next