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
implied: fix a bug with borrowed implications
2016-11-25
Dan Carpenter
i
mplied: fix
a bug w
i
th borrowed impl
i
cati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
fl
o
w: h
a
ndled declar
e
d labels better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan C
a
rpent
e
r
ranges: read u6
4
m
ax correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
smatch: remove test
s
to s
e
e if a
n
array is NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
extra: hand
l
e
"
i
f
(a + b < a) { "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpent
e
r
slist: S
i
len
c
e
a smatch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
Carpenter
debug: add the __smatch_absolute() hoo
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpenter
b
u
f_siz
e
: Using
p
lain integer as
N
ULL
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an Ca
r
penter
db:
U
sing plain integer
a
s NULL poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
ast-model: Using plain inte
g
er as N
U
LL p
o
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: ad
d
a
__smatch
_
absolute
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
u
s
er_
d
ata: sho
r
t
ci
r
cuit a
b
unch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
dma_mapping_error: a
d
d pci_d
m
a_map
p
i
ng
_
error() to t
h
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
a
rpent
e
r
continu
e
_vs_break: add
i
t c
h
ecklist
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
sm
a
t
c
h_a
d
dre
s
s: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
*
new
*
conti
n
ue
_
vs_break: complain if cont
i
nue is used
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch
.
h: reserve some db ty
p
es
f
o
r later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
smatch
.
h: shuffle some declarat
i
ons
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
smatch
.
h: silenc
e
a c
o
mpile warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
a
rpenter
capp
e
d: set it to unca
p
p
e
d if
it
'
s mod
i
f
i
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpent
e
r
d
b
/
fixup_kernel
.
sh: work around f
o
r __
t
o_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n C
a
r
p
enter
db/fixup_ker
n
e
l
.
s
h: work around for gfs2_ea_find()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
db/ker
n
el
.
retu
r
n_fixes: specify s
o
me functions
that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
implied: add
mo
r
e informa
t
ion to the debug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpente
r
debug: print
i
f you g
i
ve a bad
c
heck name to __smatch_states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
sm
a
t
ch_da
t
a/wine: u
p
date wi
n
e
da
t
a f
i
les
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
extra
:
add mor
e
paramete
r
de
r
efer
e
nces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
m
a
th: don't crash on
inv
a
l
i
d
cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_data2: skb->da
t
a is not u
s
er da
t
a, skb->data[0] is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
Carpenter
t
y
p
e
_value: it doesn't make sense t
o
ta
l
k about the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
extra
:
imp
r
ove how "
i
f (foo
&
~0xF)" i
s
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
ma
t
h: ig
n
o
re b
y
te s
w
aps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
flow:
h
a
ndle
whil
e
(
42) {
.
.
.
} loops be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
t
e
r
c
o
mparison,function
_
hooks: remove impossible paths
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpe
n
ter
par
a
m_compare_lim
i
t: lik
e
p
a
r
am_l
i
mit but for compa
r
isons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan C
a
rpen
t
er
compar
i
s
on
:
add a
F
IXME re
g
arding
a bug
I
not
i
ced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Carpente
r
comp
a
ris
o
n
:
l
oa
d
/
u
se retu
r
n com
p
arisons
i
n the cross
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
a
r
pen
t
er
c
omparison: load struct member info i
n
to t
h
e caller_
i
nfo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
D
an Carpenter
comparison: load
the correct comparison information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
Carpenter
flow: don't
c
all s
c
ope
hooks
un
t
il af
t
e
r
the END_FUNC_
H
OOK
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
arpenter
m
o
d
i
fic
a
tion_hooks: going out
o
f scope is not a
modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpent
e
r
db/fixu
p
_
kernel
.
sh:
update get_user_
p
ages() to match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
fun
c
tion_hooks: pull i
s
_impos
s
ible_data() int
o
its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpenter
compa
r
i
s
on: cleanup handle_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpen
t
er
comparison: export some functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpenter
s
t
at
e
s
: nu
l
lify_path() should d
o
free
t
h
e fake_cur_stree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpent
e
r
d
b
:
handle comparisons that we
know are true b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db: mark some
true false paths imp
o
ssible based on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan
Carpenter
ranges, d
b
:
i
f we can
'
t
fil
t
e
r
by compa
r
ison then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpe
n
te
r
db: handle nested calls
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
ext
r
a: re
-
write handle_A
N
D_conditio
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpenter
implie
d
: handle impossible paths f
r
o
m
comp
l
icat
e
d switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpenter
implied: get rid of the -
>
i
m
p
lied mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Ca
r
pe
n
t
er
implied:
g
et rid of a tempo
r
ary var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
enter
s
m
atch_data/wine
.
no
_
return_funcs: add
m
o
re functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
nter
smatc
h
_s
c
ripts/g
e
n
_
no_return_funcs: fix this for other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arpenter
pre
-
process: make -nos
t
dinc wor
k
again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpen
t
er
check_wine: make repor
t
(
R
_
FATAL,
.
.
.
) a nullify th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carp
e
nter
validation/sm_WtoA: add single q
u
otes in output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
smatch_s
c
ripts: update
the gen_* scripts
to take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan
Carpent
e
r
parse: ignore _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n C
a
rpenter
smatch_d
a
ta/wine
.
ignored_macros: add
ok
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carp
e
nter
smatch_data/wine
.
no_return_
f
uncs: upda
t
e
t
h
e lis
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Carpenter
spar
s
e: add /usr/inclu
d
e
/
x86_64
-
linux
-
gnu/ include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
wine_
W
toA: a
d
d singl
e
d quotes in the ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan C
a
rpenter
db: remove PRAGMA syn
c
hron
o
us
= OF
F
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
n
t
er
avl: make get_stree_
i
d() return
-
1
i
f
the
stre
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Car
p
ent
e
r
i
m
plied: han
d
le ->im
p
li
e
d states dif
f
erent
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpente
r
slis
t
,
i
m
plied: pr
e
serve the en
t
ire cur_stree in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpenter
implied:
f
ix a bug where we imply the wrong thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpenter
implied: remove
a
n inden
t
level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Ca
r
penter
implied: change debu
g
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
D
an Carpe
n
t
e
r
e
x
tra:
ignor
e
truncat
e
d lim
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpe
n
ter
flo
w
: hand
l
e
asm g
o
to
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
d
b
:
split on bool
e
a
n
paramet
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
a
n
Ca
r
pente
r
struct_assignment: handle p
o
inters better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
f
u
nct
i
on
_
h
o
oks: hack a
r
ou
n
d invalid input from the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
Carpenter
function_hooks: f
i
x the previous r
a
n
ge ho
o
k
s fix ag
a
in
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpenter
flow: set
->paren
t
for expression
s
t
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, untracked_para
m
: m
o
ve
the in
t
_stack to smatch
_
helper
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Car
p
e
n
ter
ranges: fix casting to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
Carpent
e
r
f
l
ow
:
set positio
n
at the sta
r
t
of the func
t
ion
correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
fu
n
ct
i
on_hooks:
fix a typo
in d
e
bug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
implied: t
w
eak timeout in sepa
r
ate_and
_
fi
l
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpen
t
er
fu
n
ction_hooks:
f
ix
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 Carp
e
nter
fu
n
ction_hooks: fix db and rang
e
d_function
s
integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
db/kernel
.
retur
n
_fixes: ha
c
k around
down_interruptible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpenter
db
/
k
e
rnel
.
retur
n
_fixes: add
scnprintf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Carpenter
f
unction_hook
s
: fix
l
ocki
n
g false positives when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
D
an Carpenter
ext
r
a: fix mem
s
et() handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
implied:
d
elete unused fun
c
tion sm_state_in_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
ptrl
i
st: u
s
e aft
e
r free in last_
p
tr_l
i
st()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
flow: typ
e
issue handl
i
n
g
s
witch s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Ca
r
p
ent
e
r
ra
n
ges: fix type
i
ssue in remove_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpent
e
r
conditions: silence valgrin
d
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-06
Dan Carp
e
n
ter
f
l
ow: set
f
inal_
p
ass if we have to bail on
a
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
an
C
arpenter
extra:
e
xport g
e
t_
o
t
her_
n
ame_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
impossible: add
is_imposs
i
b
le_path() to
s
match
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
C
a
r
p
e
n
t
e
r
db: don't cras
h
genera
t
in
g
SQL
for invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fix bug handli
n
g untracked pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next