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
err_ptr_deref: passing an ERR_PTR to kfree() is a bug
2014-09-17
Dan Carpen
t
er
err_
p
tr_
d
eref
:
passing
an ER
R
_PTR to kfree() is a bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carpenter
extra: handle merging NULL poin
t
e
r
s better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-16
Dan Carpent
e
r
extra
:
addresses of arrays are non-NULL
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Da
n
Carp
e
nter
d
b: remove bogus parameter inf
o
r
mat
i
o
n from hook ty
p
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-15
Dan Carpe
n
ter
db
:
add a new table which
h
old para
m
e
ter types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-11
Dan Carpenter
type: introduce type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carp
e
nter
lock
i
ng: remo
v
e
s
om
e
duplicate "someti
m
es locke
d
" warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Da
n
Carp
e
n
t
e
r
generisize
.
pl: filter some m
o
re stuff
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan Ca
r
p
enter
gen
e
resize
.
pl: cle
a
nup indentatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-09-04
Dan C
a
rpenter
ranges: a pointer to an
array is just
a pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Car
p
en
t
er
e
xtra: record global declarati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpent
e
r
conditions: update
s
ome debug output
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
D
an
C
a
r
pente
r
comparison: i
n
trodu
c
e pos
s
ibl
e
_compa
r
ison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carp
e
nter
ext
r
a:
u
pdate a debug state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpenter
f
unction_ptrs
:
t
rack f
u
n
c
t
ions
which return a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpenter
show_err
s
.
s
h
: q
u
o
te some strings proper
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpen
t
er
slist: put
g
et_
s
m
_state_stre
e
_stack()
in t
h
e
.
h file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpe
n
ter
s
tat
e
s: chang
e
t
h
e
debug output format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpen
t
er
s
t
ruct_assignment: handle
kzalloc
(
)
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Carpent
e
r
s
lis
t
:
a
d
d
the
file
n
ame to s
o
m
e
debu
g
outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Da
n
Carpe
n
ter
flow
:
parse global variables
before
p
arsing functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan Car
p
enter
slist: expor
t
the
set_state_str
e
e_perm(
)
function to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpen
t
er
comparison
:
a variabl
e
is alwa
y
s
equ
a
l
to itself
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
D
an Car
p
ente
r
remove null tests for
a
rrays
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan
C
a
rpenter
Make
f
ile: al
l
ow
CC to b
e
defined outside the ma
k
efile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-25
Dan C
a
rpenter
silence non-ANSI warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-08-05
D
a
n Carpenter
helper: prevent se
g
f
a
ult in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-25
Dan
Carpent
e
r
extra: improve handling of "if (x * 4 > 12) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-18
Dan Carpen
t
er
m
i
ssing_break: make a funct
i
on static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-14
Dan
Car
p
enter
db: fix ru
n
t
i
m
e breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-07-11
Dan Carp
e
nter
dereferences_para
m
:
ad
d
mo
r
e de
r
eferenc
e
d variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
D
a
n
Car
p
e
nter
ran
g
es: remov
e
un
n
eeded N
U
L
L check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Da
n
Ca
r
penter
type_val: store fake assi
g
nments in a slightly
differe
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-20
Dan Carpente
r
param_set
/
f
i
lter: don't
prin
t
less usele
s
s inf
o
rmati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Car
p
ent
e
r
db
:
f
i
xup after call_implies
c
han
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpenter
param_cle
a
re
d
: handle dir
e
ct ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-19
Dan Carpent
e
r
db
:
make call_i
m
p
l
ies match caller_info wi
t
h a key
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-18
Dan
C
arpen
t
er
smdb
.
py: fix
test fo
r
if a
d
at
a
type is k
n
o
w
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Car
p
enter
ass
i
gned_expre
s
sion: get
the assign
e
d
e
xpr
e
ssion
using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Car
p
enter
rosenberg: han
d
le str
u
ct to s
t
ruct as
s
ig
n
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-06-12
Dan Car
p
enter
data/k
e
rnel
.
s
izeof_param
.
r
e
mo
v
e: add __dynam
i
c_pr_d
e
bug
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_assignment
:
introduce get_faked_
e
x
p
r
ession(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Carpenter
struct_assignm
e
nt: handle memc
p
y
(
foo
,
.
.
.
) where fo
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-29
Dan Ca
r
penter
mat
h
: be more
ambitious handling right sh
i
f
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
user_data: kstrtoul() and
f
riends s
h
ould taint data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-28
Dan Carpenter
extra: more
l
i
mit
s
on which var
i
abl
e
s
are equ
i
va
l
e
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-27
Dan
Ca
r
p
enter
db: get return
s
ta
t
es fro
m
function
p
ointers i
f
possi
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-23
Dan Carpenter
propagate: remove val
i
dat
i
on test
becaus
e
we
remo
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
s
list: i
n
trodu
c
e merge_fake_s
t
ree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
unreachable:
s
ilence "not actu
a
lly initiali
z
ed" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-22
Dan Carpenter
rosenberg: fix some fal
s
e positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-16
Dan C
a
rpente
r
debug: introduce
_
_smatc
h
_
d
ebu
g
_ch
e
ck() to debug a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-14
Dan Carpen
t
er
*new* check
_
n
o
_
if
_
block
:
somet
i
mes the
i
f block is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-13
Dan Carpenter
unconstant_macros: add
VM_SOFTDIRTY
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
D
a
n Carpenter
type: introduce is_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Ca
r
penter
user_d
a
t
a
:
i
ntrod
u
ce implied_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpenter
r
osen
b
er
g
: refactor match
_
copy
_
to
_
user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan Carpenter
rosenberg: check many more function
s
instead of j
u
st
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-07
Dan C
a
rpenter
r
osenber
g
: add
m
em
z
ero()
to clear functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-06
Dan Carpenter
par
a
m_clea
r
e
d
:
memzer
o
() clears t
h
e parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Dan Carpent
e
r
db: split
a
ll boolean functions into one and zero
s
tre
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-05
Da
n
C
arpenter
c
lear
_
buffer: remov
e
this cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
an Carpenter
param_cleared
:
this shou
l
dn
'
t depen
d
on --info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
lo
c
kin
g
: update valid
a
t
ion to the new error
f
orma
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan
C
arpe
n
ter
locking: upd
a
te
error format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
str
u
c
t
_assignment: fix how smatch
h
andles fo
o
=
N
U
L
L;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpenter
ros
e
n
berg: prepare to ch
e
ck pointers to s
t
r
u
cts a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
D
a
n C
a
rpent
e
r
rose
n
berg: ch
e
ck
f
or holes at
t
h
e
end of the s
t
r
u
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-05-02
Dan Carpent
e
r
rosenberg:
t
h
is check i
s
kerne
l
specific
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan C
a
rpenter
u
nr
e
achable: turn it o
n
by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n Carpenter
helper:
introdu
c
e get_prev_statement(
)
(
fix
t
h
e
b
uild)
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an
C
arpe
n
ter
unreachable: add watchd
o
g() to kerne
l
.
no
_
r
e
turn_f
u
ncs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
nreac
h
able: don't print a warning
i
f
we jump to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
nter
unreachable: ignore
u
n
r
e
achable cod
e
rig
h
t after an
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an C
a
r
p
enter
un
r
eachable: turn
off backward
l
abeled warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carp
e
n
te
r
unreachable: add so
m
e
mor
e
macros to the
.
ignore and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
an Carpenter
f
l
o
w: merge co
n
t
inues b
e
fo
r
e the
iterat
o
r_
p
ost_statement
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
D
a
n
Carpenter
flow
:
handl
e
post
o
p return statemen
t
s li
k
e: return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpent
e
r
unreachable:
i
gnore some condition
a
lly unre
a
chable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpe
n
ter
unreachable: ignore common fals
e
po
s
i
tiv
e
s caused by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan
Carpen
t
e
r
unreachable:
ignore unreachable c
o
de after BU
G
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-25
Dan Carpenter
u
n
r
e
achable: move it
o
ut of smatch_flow
.
c
and sma
t
ch_
s
tates
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
D
an
C
a
rpe
n
ter
avl:
f
ix fai
l
ing "stree
-
>stre
e
_id == 0" assert
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-24
Da
n
C
a
r
p
e
n
ter
ove
r
flow: don't w
a
rn if w
e
overflow use
b
u
f
fers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-16
Dan Carpenter
smatch_type: n
e
ver
r
efer to ->bit_size directly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-14
Dan Carpente
r
db: function w
i
th
too many poin
t
ers to it cause sl
o
w
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-11
Dan Carpenter
db: rename db_callback to
c
aller_in
f
o_callback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Carpe
n
ter
propa
g
ate: delet
e
t
his test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
Dan Ca
r
penter
s
t
ored_conditions: don't st
o
r
e
c
onstants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-04-10
D
a
n Carpenter
Merge g
i
t://g
i
t
.
kernel
.
o
rg
/
pub/s
c
m/devel/
s
p
a
rse/chrisl
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
C
a
rpen
t
er
states: add
an
o
ther re
a
d_onl
y
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
mis
s
ing_br
e
ak:
u
s
e fewer s
t
ates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan
Ca
r
penter
av
l
: add a counte
r
for when
y
ou allo
c
ate or f
r
ee
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Da
n
Carpenter
slist, retu
r
n
s
: introduce mer
g
e
_
st
r
ee_no_pools()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
Dan Carpenter
unconstant_macros:
a
llow (foo & _PAGE_NX) ev
e
n
when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-07
D
an C
a
r
p
enter
buf_size: allow strncmp("foo",
bar, 100) where 100
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpen
t
er
param_set: onl
y
reco
r
d pa
r
a
met
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpent
e
r
e
xtra: ignor
e
struct t
o
struc
t
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Dan Carpenter
im
p
lied: a
d
d t
h
e st
r
ee_id to debug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2014-03-06
Da
n
C
ar
p
enter
clear_bu
f
f
e
r: dele
t
e
a
n
unused funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next