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: Using plain integer as NULL pointer
2016-07-18
Dan Carpenter
d
b
: Using pl
a
in integer as NU
L
L pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
a
rpen
t
er
ast-model: Usin
g
plain integer as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpente
r
debug: add
a
_
_
smatc
h
_absolute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arp
e
nter
user_data: short cir
c
uit a bunch of co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
d
ma_mapp
i
ng_
e
rror:
a
dd
p
c
i
_dma_ma
p
ping_e
r
ror()
t
o th
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
ontin
u
e_vs_break: ad
d
it checklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
sma
t
ch_
a
ddres
s
: don't c
r
a
sh on i
n
v
alid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpent
e
r
*n
e
w* continue_vs_b
r
eak
:
complain if continue is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h
: reserv
e
s
o
me
db ty
p
es fo
r
later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
enter
smatch
.
h:
s
h
u
ffle some d
e
clarations
a
r
ound
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h:
s
ilence a comp
i
le
w
a
rning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
capped: set it to uncapped if
i
t's modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b
/
f
ixup_kernel
.
sh: work arou
n
d for __to_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db
/
fix
u
p_kernel
.
sh: work around for gfs2
_
e
a_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
db/ke
r
ne
l
.
return_
f
i
xes: specify some funct
i
ons
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
im
p
l
i
e
d: add more information to
t
he
d
ebug
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
debug: print if you
g
ive
a bad check nam
e
to __s
m
atc
h
_
s
tates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Car
p
e
nter
sma
t
ch_da
t
a/wine:
u
pdate wine dat
a
files
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
pente
r
e
xtra:
add more parameter der
e
f
erences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpen
t
er
math: don't crash on
i
nv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Ca
r
penter
user_data2: skb->data is not us
e
r
data, s
k
b->data[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
type_value: it doesn'
t
mak
e
s
e
nse
t
o ta
l
k ab
o
ut th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arp
e
n
ter
extra: imp
r
ove how "if (foo & ~0xF)" is
h
a
ndled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
m
at
h
: ignore
byte
s
waps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
flow: h
a
ndle wh
i
le (42) {
.
.
.
} lo
o
ps better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
comparis
o
n,fun
c
tion_hooks:
r
e
m
ove impossible paths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
para
m
_c
o
mpare
_
l
i
m
it
:
l
i
ke pa
r
am_limit but
f
or comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comparison:
add a FIXME re
g
arding a b
u
g I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
co
m
parison: load
/
use return comparisons in
t
he cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Ca
r
p
enter
compari
s
on:
l
oad struct member i
n
fo into the calle
r
_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comparison: load the correct comparison informatio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow:
do
n
't call scope hooks until after the END_FUNC_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
Car
p
enter
modifica
t
ion_hooks:
going
o
u
t o
f
scope is not a
m
odificat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
db/fi
x
up_kernel
.
s
h: up
d
ate get_user_pa
g
es
(
) to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n
Carp
e
nter
function_ho
o
ks:
p
ull is_im
p
ossi
b
le
_
data(
)
i
n
to its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
com
p
arison: cleanup handle_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n Carpenter
c
o
mpar
i
s
on: export some
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpe
n
ter
s
tates:
nullify
_
path
(
) shou
l
d
do free the fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
Carpente
r
db: handle
c
omparisons that we know are true
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
enter
db: mark so
m
e true false paths impos
s
ible based o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges,
db:
if we
c
an't f
i
l
ter by comparison then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n Carpenter
d
b
:
h
a
ndle nested
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Da
n
Carpenter
extra: re
-
w
r
i
te
h
andle_AND
_
condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
Car
p
en
t
er
imp
l
ied: handle impo
s
sible paths from
complicated switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
n
t
e
r
implied:
get rid of
t
he ->
i
mplied member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid
o
f a temporary vari
a
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
sma
t
ch_data/wine
.
no_
r
eturn_func
s
: add more
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
s
matc
h
_scripts/g
e
n_no_ret
u
rn_fun
c
s: fix this for other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
pre-pr
o
ces
s
: make
-nostdinc
w
o
rk again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n C
a
rpenter
ch
e
ck_wine: mak
e
report(R_FATAL,
.
.
.
) a nulli
f
y the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpente
r
val
i
dation/
s
m_W
t
oA: add single quot
e
s in output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
a
rpenter
smatch_scripts: update
t
h
e gen_* scripts to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
p
arse:
ignor
e
_Pra
g
m
a
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_
d
a
t
a
/win
e
.
i
g
n
o
red_macr
o
s
:
add o
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
smatch_data/wine
.
no_return_funcs: update the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
penter
s
p
ar
s
e:
a
d
d
/us
r
/
include/x86
_
64-linux-gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_WtoA: add si
n
gled quotes
in the outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Da
n
Carpenter
db: r
e
mov
e
PRAG
M
A sy
n
c
hronous = OF
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
avl: make get_stree_id()
return -1 if the stree p
o
inte
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
an Carpenter
impli
e
d: handle ->im
p
lied sta
t
es differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
er
slist, impli
e
d:
p
reserve the entire cur_st
r
e
e
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpenter
implied: fix a b
u
g
where we imply the
wrong thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
C
arpe
n
ter
imp
l
i
e
d: remo
v
e an i
n
dent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: change de
b
ug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
extra: ignore
t
runc
a
ted limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
C
a
r
penter
f
l
o
w:
han
d
le asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Carp
e
nter
d
b: split o
n
b
oolea
n
p
a
rameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arpenter
struct
_
as
s
ignment: hand
l
e
p
ointers bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
f
u
nction_hooks: ha
c
k around invalid in
p
ut from
t
he DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpen
t
er
functi
o
n_hooks: fix the previous ran
g
e
h
ooks fix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
flow: se
t
->parent
f
or expr
e
s
s
io
n
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
Carpen
t
er
helpe
r
,
untracked_param: m
o
v
e
t
h
e
int_stack to smat
c
h_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
ranges: fix
casti
n
g
t
o bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpen
t
er
flow: set
position at t
h
e s
t
art of th
e
function correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
f
u
nc
t
ion_hooks:
fix a typ
o
in
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
Carp
e
nter
impli
e
d: tweak ti
m
eout
i
n
se
p
arate_an
d
_filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fu
n
ction_ho
o
k
s: fi
x
a
type issue (affects ranged funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
a
rpenter
function_hoo
k
s
:
fix
d
b
and ranged_functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
a
n Ca
r
pen
t
er
db/kern
e
l
.
retur
n
_fixes: hack ar
o
und down_interruptible
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kerne
l
.
return_fixe
s
: a
d
d scnprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
rpenter
function_hooks: fix locking false posit
i
ves when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpen
t
er
e
xt
r
a: fix memset(
)
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carp
e
nter
i
mplied: delete u
n
used function sm_state_in_slist(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Ca
r
pe
n
t
e
r
pt
r
list: use
after free
i
n
last_ptr_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carp
e
n
t
e
r
flow: type issue h
a
ndling switch st
a
tem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carp
e
nter
ranges:
f
ix
type issue
in remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
C
arpenter
co
n
diti
o
ns: silence valgrind warnin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
D
an Carpenter
flow: set
fina
l
_pass if we
ha
v
e to bai
l
o
n a fu
n
ct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an Carpenter
ex
t
ra: export get_other_
n
am
e
_sy
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
impos
s
ible: add i
s
_impossible_path() to smat
c
h
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
ar
p
enter
db: don't crash generati
n
g S
Q
L for inv
a
l
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fix b
u
g h
a
n
d
l
ing untracked
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
a
rpent
e
r
struct_
a
ssig
n
men
t
:
i
g
n
o
re certain types o
f
assig
n
ment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carp
e
nter
extr
a
: defe
r
ences
in
f
ake ass
i
gnments do
n
't co
u
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: ha
n
dl
e
fake assi
g
nments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
m
p
l
ied: impr
o
ve
o
v
e
rwrite_states_using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Ca
r
penter
i
m
p
lied: add a comment e
x
plainin
g
how imp
l
ications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan
Carpent
e
r
function_hooks: check P
A
RAM_LIMIT implication
s
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-31
Dan
Carpen
t
er
functi
o
n_hooks: integ
r
a
t
e
call_impl
i
es hooks
w
ith t
h
e db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-05-30
Dan
Carpenter
slist: m
a
ngle the line
n
umber
o
f merged states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next