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
buf_size: Using plain integer as NULL pointer
2016-05-30
Dan Car
p
ent
e
r
s
list
:
mangle the line number of m
e
rged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n Carpe
n
t
e
r
sizeof_param: remove read_rom
(
) fr
o
m checked
f
u
nct
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
e
r
create_db: delete
some
d
uplicate entrees from funct
i
on_
p
tr
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpent
e
r
real_absolute
:
d
o
n't store whole ranges for
n
o
reaso
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
D
a
n
C
ar
p
enter
st
r
uc
t
_a
s
signment: pu
l
l
s
p
l
it_fake_e
x
pr() into
i
ts
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
db: l
i
mit the amoun
t
of data in
type
_
value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extr
a
: handle if (IS_ERR(
f
oo[bar]))
{
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpen
t
e
r
d
b: introduce get_param_name_
v
ar_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
im
p
l
i
ed: handle chunks in switch st
a
t
e
ments like switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
extra: do
n
't mark
a
l
l
arrays as derefere
n
ced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carpenter
helper:
create an all
o
c_state_expr() helper function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan Carp
e
nter
whitespace:
r
e
m
ove s
o
me blank
lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpe
n
ter
extra: remo
v
e
u
nused function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Carpen
t
er
l
ockin
g
:
add more impossible handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpente
r
db
:
remove some extra semi
-
col
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Ca
r
pen
t
er
ranges: re
m
o
v
e an u
n
neede
d
initializer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
returns
:
pr
o
vide a s
p
lit out li
s
t of all the return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
an Car
p
en
t
er
returns: a
d
d g
e
t
_all_r
e
turns_state
s
() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
C
arpenter
move freeing to
AFTER_FUNC_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan Carpenter
db: constify
some pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Ca
r
penter
extra: add
m
i
ssing include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
D
a
n Carpenter
extra
:
don't o
v
erwri
t
e non-null pointers becau
s
e of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-24
Dan
Ca
r
penter
ex
t
ra: f
i
x ha
n
dling of "if (foo & 0x3210
)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-04
D
an Carpenter
par
a
m_set: i
n
trod
u
ce par
a
m_was_set_var_s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Da
n
Carpe
n
ter
impos
s
ible
:
handle switch
s
t
atem
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
Dan Carpenter
i
mpossible:
don't
o
ver
w
rite the impossible stat
e
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-27
D
a
n Car
p
enter
impli
e
d
:
handle implications for if (({whatever; foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-26
D
a
n Carpe
n
ter
slist: create is_le
a
f() fu
n
ction which i
s
the opposite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-25
Da
n
Carpen
t
e
r
ranges: use signe
d
type for negati
v
e ints less
t
ha
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Da
n
C
arpe
n
ter
db/kerne
l
.
return_fixes r
e
gmap_bu
l
k_read() return
s
negati
v
es
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan Carpenter
ran
g
es: fix
a
b
u
g in rl
_
invert(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-22
Dan C
a
rpenter
s
v
al, t
y
pe: make some functions inline
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan
Ca
r
p
enter
i
m
plied: fix an
o
l
d im
p
lication bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Ca
r
penter
implied: r
e
move unused
a
dd_pool() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-20
Dan Carpenter
implied: pass sm
_
states in
s
tead of
pools
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Carpe
n
ter
imp
l
ied: f
i
x a type b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
D
a
n Carpenter
implie
d
: up
d
ate some debu
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-19
Dan Car
p
ente
r
implied: crea
t
e fake implicati
o
n his
t
ory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Carpe
n
ter
s
tates: tweak debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Ca
r
penter
sta
t
es:
print debug output in __
s
et_tru
e
_false_sm(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-15
Dan Car
p
ent
e
r
impli
e
d: overwrite smatch_
e
xt
r
a
usin
g
i
mplied states
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
an Car
p
ent
e
r
ranges, extra: m
o
v
e
and export spl
i
t_co
m
parison_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Car
p
enter
slist: remov
e
unused __set_true_false_if_not
_
alr
e
ady_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
db: make a file kernel
.
retu
r
n
_fixes for updating return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
D
a
n
Carpenter
fl
o
w:
m
erge mult
i
ple case statements in a
r
ow
tog
e
t
h
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carp
e
nter
h
e
lper: use
.
instead o
f
->
for mor
e
v
a
riables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpenter
param_set: r
e
move an unnneeded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan Carpente
r
extra: p++ s
h
o
uld clear the states for *p or p->foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-14
Dan
C
a
r
penter
math: han
d
le _
_
builtin_types_c
o
mpatible_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n
C
arpenter
flow: split case state
m
ent h
a
ndling int
o
it
s
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
rp
e
nter
implied
:
replace __get_implie
d
_values() w
i
th get_absolute_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
D
a
n Carpent
e
r
flow: fix bug i jus
t
introduced
w
ith
k
nown switch stat
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
C
arp
e
nter
d
eb
u
g:
p
ri
n
t the m
a
x size f
o
r _
_
s
m
atc
h
_buf_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
debug: inc
l
u
d
e ->pos
s
ible and absolute in __sm
a
tch_about
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan C
a
r
p
enter
impli
e
d: remove unnecessary initialization
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpe
n
ter
param_clea
r
ed: s
t
rip away casting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
ran
g
es
:
m
ake filt
e
r
_
top_rl(
)
t
ake a range_list fi
l
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Da
n
Carpenter
fl
o
w
: shuffle c
a
se stat
e
ment handli
n
g aro
u
nd
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpente
r
implied: s
p
lit the __
i
mplied
_
case_
s
tree() into two
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan Carpenter
extra: whit
e
space
cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-12
Dan
Carpenter
imaginary_
a
bsolut
e
: it
'
s like smatch_extra
.
c for i
m
poss
i
ble
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpe
n
t
e
r
implied:
remove s
o
me duplicat
e
lines
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Carpenter
extra: remove an obs
o
lete comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an C
a
rpenter
ex
t
r
a
: spl
i
t han
d
le_
c
ompar
i
son() into two
fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
db: ignore
un
r
e
a
chable returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
D
an Carpente
r
d
b: split
r
eturns
i
n to NUL
L
and non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-11
Dan Car
p
enter
db: remove
pointless
r
eturn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan
Carpenter
db:
small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
D
a
n Carpenter
h
o
o
k
s:
r
e
n
a
me CALL_HOO
K
_AFTER t
o
CALL_HOOK_AFTER_DB
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Carpenter
untr
a
cked_param: handle inline
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-06
Dan Car
p
e
n
ter
flow:
d
o
e
n't reset loop
_
count for inl
i
ne f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carp
e
nter
imp
l
ied: use the cor
r
ect type f
o
r
c
o
n
d
ition
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-04-05
Dan Carpenter
scope: de
l
ete ou
t
of sc
o
pe
variabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carp
e
n
ter
v
a
lidation/sm_chunk2
.
c:
u
pdat
e
validat
i
on test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan
C
arpente
r
d
b
: revert a "speed
u
p"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpent
e
r
re
a
l_absol
u
te: tur
n
this code on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Dan Carpenter
err_ptr_deref: complain about derefer
e
nces insi
d
e a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
D
an Carpe
n
ter
retu
r
n
_efault: complain about "return copy_fr
o
m_user();
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-24
Da
n
Carpenter
buf_s
i
ze
:
save s
i
ze of
fixed ar
r
ays that are returne
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
arpenter
modification_hooks: remove
a
n unneeded variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
Car
p
ente
r
slist: make
merge_s
t
ates() static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpente
r
sta
t
es: make deb
u
g output more consisten
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
h
o
o
k
s
: put each type of
h
ook in
t
o it's own array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Ca
r
penter
.
gitignor
e
: add
.
gdb_histor
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
s
tored_
c
onditions
:
white
space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpen
t
er
math: prefer real_
a
b
sol
u
t
e_va
l
ue to the db value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan Carpenter
implied: remove a blank
l
i
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
c
o
nditio
n
s: bug in condition assignments
l
i
k
e foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Dan
C
a
rpent
e
r
impo
s
sibl
e
: handl
e
assignment co
n
ditions
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
Da
n
Carpenter
string_condition
:
d
o
n
'
t compla
i
n
ab
o
ut TRACE_EVENT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpen
t
e
r
f
u
nction_hooks: handle
returs th
a
t don't
s
et a state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-23
D
an Carpenter
db: don't use s
p
lit_success_
f
a
i
l if
i
t doesn't r
e
turn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan C
a
rp
e
nter
d
b
:
fix bug
in print_struct_members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpent
e
r
db:
f
or impossible
r
eturns just do
the simplest thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Car
p
en
t
er
e
xtra: u
s
e real_absolute va
l
ues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Carpenter
extra:
improve array
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
C
arpenter
smatch: a
d
d a --tim
e
option to print how lon
g
smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan Ca
r
p
e
nter
f
low: ha
n
dle "*
p
++ =
f
o
o
"
bett
e
r
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-21
Dan
Carpenter
flow: f
i
x insid
e
_loop()
with inline
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-03-17
D
a
n
C
a
r
penter
param
_
set: handle array
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next