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
slist: Silence a smatch warning
2016-07-18
Dan Carpe
n
te
r
slist: Silence a smatch warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Da
n
C
a
rp
e
n
ter
debu
g
: add the __sm
a
tch_abso
l
ute() hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
an
C
a
r
penter
b
u
f_size:
Us
i
n
g plain integer as NUL
L
pointe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carp
e
nter
db: Using
plain integer as NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
ast-
m
odel
:
Using plain int
e
g
er as
N
ULL poi
n
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpenter
debug: add a __smat
c
h_a
b
solute()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
user_data: short ci
r
cuit
a
bunch of code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
t
e
r
dma_
m
apping_erro
r
:
add
p
ci_dma_mapping_error(
)
to this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
conti
n
ue_vs_break: add it
c
h
ec
k
list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
p
e
nter
smatch_address: don't crash
on
inval
i
d
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
p
ente
r
*new* continue_vs_break: complai
n
i
f
continue is us
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h: reserve some db type
s
for later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
sma
t
c
h
.
h: shuffle
some declara
t
ions
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
pent
e
r
s
ma
t
ch
.
h: silence a co
m
pile
w
arn
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpen
t
er
capped:
s
et it
t
o uncapped
if it's modified
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
n
t
er
db/fixup_kernel
.
sh
:
work ar
o
u
n
d
for
_
_to_fd()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
pent
e
r
db/f
i
xup_
k
ernel
.
sh: wor
k
around fo
r
gfs2_ea_
f
ind()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
b
/kernel
.
return_fixes: specify some functions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
en
t
er
implied: add more informatio
n
to th
e
debug out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
e
r
debug: p
r
in
t
if you give a
b
ad che
c
k name
t
o __smatch
_
states()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n
C
a
r
p
enter
smatch
_
data/wine: update wine
d
at
a
fil
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
e
x
tra: add more parameter
d
erefe
r
ences
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
mat
h
: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Car
p
e
n
ter
u
ser_data2: skb->data is
not
user da
t
a,
s
k
b
->data[0]
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
a
rpenter
type_value: it doesn'
t
ma
k
e sense t
o
talk about
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
e
x
tra: im
p
ro
v
e how "if
(foo
&
~0xF)" is ha
n
dle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpente
r
math
:
ignore byte swaps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpe
n
ter
flow: hand
l
e whil
e
(
42) {
.
.
.
}
l
oo
p
s bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
pen
t
er
com
p
a
r
is
o
n,functio
n
_ho
o
ks: remove impossible p
a
t
hs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpen
t
er
param_compare_limit: lik
e
param_limit but for comparis
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpe
n
ter
comparison: add a FI
X
ME regarding
a
bug
I noticed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
C
arpenter
comparison: load/use return compa
r
i
s
ons in the cro
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
com
p
a
r
ison: load struc
t
me
m
b
er info
i
n
to the caller_info
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-15
Dan
Carpent
e
r
com
p
a
rison: load the
c
orrect com
p
arison
information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Ca
r
penter
flo
w
:
d
on
'
t
call scope
hooks until af
t
er
t
he E
N
D_F
U
NC_HOOKs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpe
n
ter
modifi
c
at
i
o
n
_hooks: goin
g
out of scope is not
a modification
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
db/
f
ixup_kernel
.
sh: update
get_us
e
r_pages() to m
a
tch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpente
r
function_hooks: pull is
_
impossi
b
le_data() int
o
it
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
Dan
Carpe
n
ter
comparison: cleanup ha
n
dle_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-11
D
an Carpenter
compar
i
son: e
x
por
t
s
ome
f
u
nctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-09
Dan
Carpenter
states: nullify
_
pa
t
h() should do free the f
a
ke_cur_str
e
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
enter
db: handl
e
comparisons that
w
e kno
w
a
r
e true
bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpent
e
r
d
b
: mark some
true false paths impossible based on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpente
r
r
a
n
ges, db: if
w
e can't fil
t
er by comparison then use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db
:
h
andle n
e
s
ted c
a
lls better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-04
D
an C
a
rpenter
extra
:
re-write handle_AND_condition()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
implied
:
handle impo
s
sib
l
e pat
h
s from complicated switch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
arp
e
nter
imp
l
ied: g
e
t rid of the
-
>
i
mplied mem
b
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n
Carpente
r
implied: g
e
t rid of a temp
o
rary var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Da
n
Carpen
t
er
smatch_data/wine
.
n
o_return_funcs:
add more functi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Ca
r
penter
sm
a
tch_scripts/gen_no_return_funcs
:
fix thi
s
fo
r
other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
pre-pro
c
ess: make -nostdi
n
c work
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpent
e
r
check
_
wine: m
a
ke rep
o
rt(R_FATAL,
.
.
.
) a nullif
y
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
validation/sm_
W
toA: add single
qu
o
tes in outpu
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
an Carpenter
smatch_scripts: update the gen_* scripts
t
o tak
e
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
parse: igno
r
e _Pragma()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n C
a
rpe
n
ter
s
mat
c
h
_
data/wine
.
ignor
e
d_macros: add ok()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Ca
r
pe
n
ter
s
m
atch_data/
w
ine
.
no_r
e
turn_funcs:
up
d
a
te the list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpenter
sparse: add /usr/include/x86_64-linux-gnu/
include
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
wine_WtoA:
a
d
d
si
n
gled q
u
otes in the out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-25
Dan
Carpenter
db:
r
emove PRAGMA synchron
o
us =
O
FF
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n C
a
rpenter
avl: ma
k
e get_stree_id() return -1
if
the s
t
ree pointe
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan C
a
rpenter
implied: h
a
ndle
-
>implied s
t
ates diffe
r
en
t
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carp
e
nter
slist, implie
d
: p
r
eserve th
e
entire cur_str
e
e
in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan
Carpent
e
r
imp
l
ied: fix
a
bug where we imply the wro
n
g thing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
Dan Carpen
t
er
implied: remove an indent level
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-24
D
a
n Carp
e
nter
implied: change debug
o
ut
p
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-17
Dan Carpenter
ext
r
a: ignore tru
n
cated limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Carpenter
flow: handle asm gotos
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
D
an Carpenter
db: split on b
o
olean p
a
rame
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan
C
arp
e
nt
e
r
st
r
uct_
a
ssig
n
ment:
h
andle po
i
nters
bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Da
n
Ca
r
pe
n
t
e
r
function_
h
ooks: h
a
ck around
invalid
input from
t
he DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-15
Dan Car
p
en
t
er
functio
n
_hooks: fix the previ
o
us
r
a
ng
e
hooks fix again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
flow: set -
>
parent for
e
x
p
r
ession
s
tateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpenter
helper, untracked_param: mo
v
e the int_stack t
o
smat
c
h_he
l
p
er
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
a
n
C
arpenter
ra
n
ges: fix cast
i
ng to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan
C
arpenter
flow: set position at the start
of the funct
i
on cor
r
ectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an Carpenter
fun
c
tion_hooks: fi
x
a typo i
n
d
e
bug
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
D
an
C
arpenter
i
mplied: tweak
timeout
i
n separate_and
_
filter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Da
n
C
a
rpenter
fun
c
tion_h
o
oks: fix a t
y
pe issue (
a
ff
e
ct
s
ra
n
ged functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-14
Dan Carpe
n
ter
functio
n
_ho
o
ks: fix
d
b and ran
g
ed_functions integration
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan
Ca
r
penter
db/kernel
.
r
e
tu
r
n
_fix
e
s: ha
c
k a
r
ound down
_
interru
p
tible()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carp
e
nte
r
db/
k
ernel
.
re
t
urn_fixes: add scnp
r
intf()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan Carpenter
function_hooks: fix locki
n
g false positives when you
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-13
Dan C
a
r
p
enter
extra:
f
ix memset()
h
and
l
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
D
a
n Carpenter
implied: delete unused function sm_state_
i
n_slist()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Car
p
enter
ptrlist:
use after free
i
n last_
p
t
r_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
flow: ty
p
e issue handling
s
w
it
c
h statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan
Carpenter
ranges: fix
ty
p
e issue i
n
rem
o
ve
_
range(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-11
Dan Carpenter
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 Car
p
enter
fl
o
w: set f
i
nal_p
a
ss i
f
we hav
e
to b
a
il on a
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
D
a
n Carpenter
extra:
e
x
p
ort get_other_name_sym(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Da
n
C
arpent
e
r
impossible:
a
dd is_impossib
l
e
_path() to smatch
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
db: don't c
r
ash gene
r
at
i
ng
SQL fo
r
invalid cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpenter
extra: fix bug handling untracke
d
poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpe
n
ter
struct_a
s
sign
m
ent: ignore certai
n
types
of assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan Carpen
t
er
extra:
d
efere
n
ces in fake assig
n
ments don't count
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-02
Dan
Carpenter
ext
r
a
: handle
f
a
ke assignments faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
Dan Carpenter
i
mplied: improve overwrite_states_using_pool()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-06-01
D
a
n Carpent
e
r
i
m
plied
:
add a commen
t
ex
p
laining how impli
c
ation
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next