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
ranges: use a hack around so when merging ranges of different types
2017-01-10
Dan Carpenter
r
anges: use a hack around so when mergin
g
ran
g
es of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Car
p
enter
type_val
:
fix a memory lea
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
ter
function_hoo
k
s, db: handle PARAM_LIMIT for struct me
m
b
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
i
mplied: fix a bug handling para
m
eter i
m
p
licatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
implied: add
m
o
re debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
db:
sort re
t
u
rn_s
t
ates by file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow
:
tiny
cleanup han
d
ling a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan C
a
rpenter
flow: rem
o
ve an
unneeded co
n
d
it
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flo
w
: r
e
name a variab
l
e "tmp" ->
"
ri
g
ht"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpen
t
e
r
kern
e
l
.
ignore
d
_mac
r
os: ad
d
LA
S
SERT() from lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpente
r
function_hooks, db:
u
s
e INTERNAL as
t
he mar
k
er for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
arpen
t
er
db: handle functi
o
n point
e
rs better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
R
a
smus Ville
m
oe
s
c
heck_kernel_printf
.
c
:
%pj ended up being %p
G
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemoe
s
check_kerne
l
_
p
r
intf
.
c
:
handle
n
e
w
d
e
fin
i
tion of KERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Ras
m
us
Villemoe
s
check_ker
n
el
_
printf
:
check that
%
pg gets
a
block_
d
evice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user_dat
a
2: math: function calls shoul
d
be ha
n
d
led
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
ma
t
h: fix a t
y
pe issue wit
h
MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan Carpente
r
unt
r
acked_p
a
ram: functions that ar
e
too h
a
iry are untra
c
kabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
address: simplify is_non_n
u
l
l
_arr
a
y()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
D
an C
a
rpente
r
type_
v
a
l: use the
c
orrect type in ge
t
_d
b
_type_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arpenter
implied: fix a bug w
i
t
h b
o
r
rowed
implic
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan
C
arpente
r
flow:
h
a
n
dled decl
a
red labels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
D
a
n
C
arpen
t
e
r
ranges: read u64m
a
x
cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
s
m
atch: rem
o
ve test
s
to
see if
a
n array is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n
C
a
r
penter
extra: handle
"
if
(a +
b
<
a
) {
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Car
p
enter
slist: Sil
e
nce a smat
c
h warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
C
ar
p
enter
debug: add the __sma
t
ch_absolute(
)
hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an Carpenter
buf_size: Using plain
integer a
s
NULL po
i
nt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carpenter
db: Using plain in
t
eger as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
a
s
t-model: Us
i
n
g
plain integer as NULL
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
a
rpen
t
er
debug: add a
__sma
t
c
h_absolu
t
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
u
s
e
r
_da
t
a
:
short
circuit a b
u
nch of cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpente
r
dma_
m
apping_error:
add
pci_dma_
m
apping_error() t
o
this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
n
t
er
con
t
inue_vs
_
break: add
it checklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
rpen
t
er
smatch_address: don
'
t c
r
ash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
p
e
nter
*new*
co
n
tinue_vs_break: complain if continue
i
s
used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
rpenter
smatch
.
h: r
e
ser
v
e some db t
y
pes for la
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smat
c
h
.
h: shuff
l
e some dec
l
ara
t
i
o
ns
a
round
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
s
m
atch
.
h:
s
ilence a compi
l
e war
n
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an
Carpenter
capped: set it to u
n
capped i
f
it's modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
pen
t
er
d
b/fi
x
u
p
_
k
e
rnel
.
sh: work
around for __
t
o_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fi
x
up_ke
r
nel
.
sh: work arou
n
d for gfs2_ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/kernel
.
return_fixes: specify s
o
me fu
n
ctions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
p
e
nter
imp
l
ied: add
m
o
re informa
t
ion
to the
d
ebug outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
debug: print if you gi
v
e
a bad check name to __smatch_
s
tates()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
rpen
t
er
smatch_data/wine: update wine d
a
ta f
i
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
a
rpenter
extra: add more para
m
et
e
r
derefe
r
en
c
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math:
do
n
't
cr
a
s
h
on in
v
alid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
user_data2:
s
k
b
->dat
a
is n
o
t user
da
t
a, skb->data[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carp
e
nter
type_value: it doesn't make
s
ense to talk about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
ter
extra: i
m
pr
o
ve how "if (fo
o
& ~
0
xF)" is ha
n
dled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
math: ign
o
re byte swa
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow:
h
a
ndle wh
i
le (42) {
.
.
.
} loops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carp
e
nter
compa
r
ison,func
t
ion_ho
o
k
s: remo
v
e
i
mpossib
l
e pat
h
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpente
r
param_compare_li
m
it: like param_l
i
mit but for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comp
a
r
ison: add a
FIXME regarding a bug I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
co
m
parison: load/use r
e
t
u
rn co
m
parisons in th
e
cr
o
ss
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
rpenter
comparis
o
n: load struct m
e
mber info int
o
the caller_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
a
n Carp
e
n
ter
comparison:
l
oad the corre
c
t c
o
mpa
r
i
son infor
m
at
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carp
e
n
t
er
fl
o
w: don'
t
ca
l
l scope hooks until
a
fter the
E
ND_FUNC_HO
O
Ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carp
e
nter
modific
a
tion_ho
o
ks: going out of s
c
o
pe is not a modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
D
an Carpenter
db/
f
ixup_kernel
.
sh: update g
e
t_user_pages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Da
n
Carpenter
f
u
ncti
o
n_hooks: pull is_impossible_data()
into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
an Carpe
n
ter
co
m
parison:
c
leanu
p
handle
_
comparis
o
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n
Carp
e
nter
comp
a
rison: export
s
ome
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Car
p
ente
r
s
tates: nullify_pat
h
()
should
do free the f
a
ke_cur_
s
t
r
ee
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
Carpenter
d
b:
hand
l
e c
o
mpa
r
ison
s
that we know are tru
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Da
n
Carpenter
db:
m
ark some true false pa
t
hs impossible based
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
ranges, db:
i
f
w
e
c
a
n't f
i
lter by comp
a
rison th
e
n
u
se
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
D
an Carpenter
db
:
h
andle nested
calls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan
C
arpenter
extra: re-write handle_
A
ND_cond
i
tion()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied:
handle imposs
i
b
l
e
p
aths from c
o
mplicat
e
d switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
penter
implie
d
: get rid of the ->implied m
e
m
b
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied: get rid of a te
m
porar
y
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carpenter
smatch_data/
w
ine
.
no_return_
f
uncs:
add
m
ore functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carp
e
nter
s
match_scripts/gen_no_return_f
u
ncs:
fix thi
s
for other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
a
r
penter
pr
e
-process: make -nostd
i
nc
w
o
r
k a
g
ain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
check_win
e
: m
a
ke
report(R_FATAL,
.
.
.
) a nullify th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
valida
t
i
on/sm_Wto
A
: add sin
g
le quotes
i
n
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arpent
e
r
smatch_scripts: update
the
g
en_* script
s
to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Ca
r
penter
p
a
rse: ignore _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
pe
n
ter
smatch_data/
w
ine
.
igno
r
e
d
_macros: add ok(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpenter
smat
c
h
_
da
t
a
/
wine
.
no
_
r
e
t
urn_funcs: update the
l
ist
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpente
r
s
p
a
r
se: add /usr/include/x86_64-lin
u
x-gnu/ in
c
l
u
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
w
i
ne_
W
toA:
a
d
d singled
q
uotes in the output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan Carpen
t
er
db: remo
v
e PRAGMA sync
h
r
onous = OFF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
avl: ma
k
e get_stree_id() return
-
1 if the
s
tree
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Car
p
e
n
t
er
implied: handle ->implied
states differently
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Da
n
Carpent
e
r
sl
i
st, i
m
plied: pre
s
e
r
ve t
h
e e
n
tire cur_stree in
th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n
C
a
r
penter
implied:
fix a bug whe
r
e we
impl
y
t
he wrong thin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
imp
l
ied: remo
v
e an
i
ndent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpenter
implied: change
d
ebug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
extra: ignore
truncated
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carp
e
nter
flow:
h
a
ndle
asm
g
otos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpenter
db:
s
plit on boolean parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
struct_ass
i
g
nment: handle pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan C
a
rpenter
fun
c
t
i
on_hoo
k
s: hack around invalid input from the D
B
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
func
t
i
on_hooks:
f
i
x th
e
pr
e
v
i
ous ran
g
e
h
o
o
ks fix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
enter
f
l
o
w
:
s
et ->parent for
expression statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
he
l
p
e
r
, untr
a
cked_param: move the
i
n
t
_
s
tack
to smatch_h
e
lper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next