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
extra: handle indirection like "p = &foo; *p = 42;"
2016-05-30
Dan
Carpenter
re
a
l_a
b
s
olute: don'
t
s
t
ore w
h
o
l
e ranges fo
r
no reason
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
s
t
r
u
ct_assignment
:
pull split_f
a
ke_expr() into it
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db: limit the amount of data in type_v
a
lue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
C
arpenter
e
x
tr
a
:
h
an
d
le
i
f (IS_
E
RR(foo[bar]))
{
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
D
an Carp
e
nter
d
b
: introdu
c
e get_param_name_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Car
p
enter
i
m
plied:
handle chunks
in
s
w
i
tch stat
e
ments l
i
ke switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Da
n
C
arpenter
extra: don't m
a
rk all arrays
as derefe
r
enced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
helper:
c
reate a
n
alloc_state_e
x
pr() hel
p
er f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
whitespace
:
remove
s
ome blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carp
e
nter
e
x
tra: re
m
ove unused
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
locking: add mo
r
e impossi
b
le handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
p
e
nte
r
db: remove some
extra
semi
-
co
l
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
ranges: remove an unn
e
eded ini
t
ial
i
z
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
ret
u
r
ns
:
provide a spli
t
out
l
ist
o
f all the return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pe
n
ter
r
eturns: add ge
t
_al
l
_returns_s
t
ates()
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
ar
p
e
n
t
er
m
o
v
e fr
e
e
i
ng t
o
AFTER_FUNC_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Car
p
enter
db:
constify some pointer
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
D
an Carpenter
extra:
add missing include
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pent
e
r
extra
:
d
o
n't overwrite non-null
pointers because
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-24
Da
n
Carpenter
ext
r
a: fix handling of "if (foo
&
0
x3
2
10) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-05-04
Dan C
a
r
p
enter
param_set: in
t
r
o
duce para
m
_was_set_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
i
mpossibl
e
:
h
an
d
le switch
statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Carp
e
nte
r
i
m
p
o
ssibl
e
:
d
o
n't overwrite
the
impossibl
e
state by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-27
D
an Carpenter
implied:
h
andle implications for
i
f (({wh
a
tev
e
r; foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-26
Dan Carpenter
sli
s
t: c
r
ea
t
e is_le
a
f() functio
n
which is t
h
e op
p
o
s
ite
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-25
D
an Carp
e
nter
ran
g
es: use
s
ign
e
d
type for negative ints less than
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpent
e
r
db/kernel
.
r
eturn_fixes
r
egmap_bulk_rea
d
()
return
s
ne
g
atives
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Car
p
ente
r
rang
e
s
:
fix a bug
in rl
_
invert()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
sval,
type:
make
some fu
n
ctions
inline
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implie
d
: fix
a
n old implicatio
n
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
an Car
p
enter
im
p
lied: remove unused add
_
po
o
l
() funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-20
D
a
n Carpenter
im
p
lied: pass sm_stat
e
s instead o
f
poo
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
an C
a
r
p
enter
i
mpli
e
d
:
fix a type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n Carpenter
i
m
plied: update some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-19
Dan Car
p
ent
e
r
implied:
c
re
a
t
e fake im
p
licatio
n
history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
state
s
:
t
weak debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan
Carpenter
st
a
t
e
s: print debug ou
t
put in __s
e
t_true_fals
e
_sm()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpenter
implied: overw
r
i
te smatch
_
e
xtra
u
sing imp
l
i
e
d states
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
rang
e
s, extra: move a
n
d expor
t
split_comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
slist: remove
unused __set_true_
f
alse
_
if_not_al
r
e
a
dy_
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Da
n
Carpenter
db: make a file kerne
l
.
return_fix
e
s for
u
p
dating return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
flow: merge mult
i
ple case stat
e
ments in a
ro
w
tog
e
t
h
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n Carpen
t
er
helper: us
e
.
instead
of -> for mor
e
variable
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_set: r
e
m
o
ve
a
n
unnnee
d
ed variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
extra: p++ should clear the
s
tates
f
o
r
*p or p->foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-14
Dan
Carpent
e
r
mat
h
: handle __builtin_types_c
o
mpatible_p(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carp
e
nter
flow: split case state
m
ent handli
n
g into its
o
wn function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
implied: rep
l
ace
_
_get_implied_v
a
lues() with get_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
f
l
ow: fix bug
i
just introduce
d
with known swi
t
ch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Car
p
e
nte
r
d
eb
u
g
:
print t
h
e
m
ax s
i
ze for
_
_
s
match_buf_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug:
include ->poss
i
ble
a
n
d
absolute i
n
__smatch_
a
bou
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
implied
:
remo
v
e unnecessary initializa
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an Carpenter
pa
r
am_c
l
e
a
red
:
s
trip away c
a
sti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
r
a
n
ges:
m
ake filter_
t
op_r
l
() take a range_list
filter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Car
p
enter
flow:
s
huff
l
e cas
e
statement handling aroun
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
r
pente
r
implied: spl
i
t th
e
__i
m
plied_case_st
r
e
e()
into two
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
D
an
C
arpenter
e
x
tra: wh
i
te space clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-12
Dan Ca
r
penter
i
m
a
g
in
a
ry_ab
s
olute: it's
l
ike smatch_extra
.
c for
i
m
possible
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
implie
d
: rem
o
ve s
o
me
d
uplicate lin
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
ext
r
a: remove an obsolete
c
om
m
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
an C
a
rpenter
e
x
t
ra: split handle_compari
s
on() into two
f
unct
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
D
a
n Carpente
r
db: ignore unreachab
l
e returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan
C
a
rp
e
nter
db: split
re
t
urns in to NULL
a
nd non-NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
e
n
ter
d
b: remove poin
t
le
s
s r
e
turn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
db
:
small cl
e
a
n
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpe
n
ter
hooks: re
n
ame C
A
LL
_
HOOK
_
AFTE
R
to CALL_HO
O
K_AFTE
R
_DB
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpent
e
r
u
n
tr
a
c
ked_pa
r
am: handle inline c
a
lls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Ca
r
pe
n
ter
f
l
ow: doen't res
e
t
loop_count for in
l
i
n
e fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
D
a
n Carpente
r
i
m
plied: use the correct type
for conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
scope: dele
t
e out o
f
scope
variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Car
p
enter
valid
a
tion/sm_chunk2
.
c: update va
l
idation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpente
r
db: revert a
"speedup"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
real_absolute: turn this
code on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan
Carpe
n
ter
err_pt
r
_deref:
c
o
mp
l
ain about derefere
n
ces inside a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
return_efault: comp
l
ain abou
t
"r
e
t
urn copy_from_use
r
(
);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-24
D
a
n
C
a
rpenter
b
u
f
_
size: sav
e
size o
f
fi
x
ed a
r
rays that
a
re re
t
urned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Ca
r
p
enter
m
odification_hooks: remove an un
n
eeded variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan C
a
r
penter
s
l
i
st: make merge_states() static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Carpenter
sta
t
e
s: make
debug ou
t
put more consistent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
hooks: put each
type of hook into it's o
w
n
a
rray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
.
git
i
g
n
ore:
add
.
gdb_history
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
n
t
er
stored_conditi
o
ns:
w
hite space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
math:
p
r
efer real_abs
o
l
u
te_value to the db value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
implied:
r
emove a bl
a
n
k
line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nter
condi
t
ions: bug in condition assignments li
k
e foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n Car
p
e
nter
impossible: h
a
ndle
a
ssignment conditions b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
D
a
n C
a
r
p
enter
string_condition:
d
on't
c
omplain about TRACE_EVENT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carp
e
nte
r
funct
i
on_ho
o
k
s
:
handle re
t
urs tha
t
don't s
e
t a state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
db: don't use sp
l
it_
s
uccess_fail if it doesn't return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
db: f
i
x bug i
n
pri
n
t_
s
t
ruct_mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
a
r
penter
d
b
:
for
i
mpo
s
sibl
e
re
t
urns just do the sim
p
lest thing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: us
e
real_a
b
solute val
u
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra: improve array
handlin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carpenter
s
ma
t
c
h
: add a --time option to
p
rint how l
o
n
g
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Da
n
Carpenter
flow: handle "*p++ = foo" better
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
rp
e
nter
f
l
ow: fix ins
i
de_l
o
op() with in
l
in
e
f
uncti
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-17
D
an Carpenter
para
m
_s
e
t:
h
a
ndle array assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan Carpenter
i
mplied
:
r
e
move buggy code for working around the old
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
D
a
n Carpenter
db/f
i
xup_ker
n
el
.
sh: add k
m
alloc_
o
rder
_
trace(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-03-15
Dan
Carp
e
nt
e
r
db/fi
x
up_kernel
.
sh: ignore a
l
ot of PC
I
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next