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
extra: don't use the indirect_modification_hook
2013-04-17
D
a
n Carpenter
e
xtr
a
: do
n
't use t
h
e i
n
d
irect_m
o
dif
i
cation_hoo
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
extra: make param_filt
e
r
s
et_ext
r
a_mo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
ros
e
nberg: remove p
a
hole
de
p
endency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pen
t
e
r
pars
e
: add
a big hac
k
to track
p
acked stru
c
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
er
*n
e
w
*
smatch_clea
r
_buffer
.
c: handle mems
e
t()
ty
p
e func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
er
p
a
r
am_limit/filter: ign
o
re w
h
ole range
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ranges
:
an e
m
pty
r
a
nge is
n
ot a whole rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
e
x
tra: remove som
e
dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
ext
r
a: s
m
all
f
i
x
f
o
r
wh
e
n
the data
b
ase
is disabled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
an Ca
r
pen
t
er
db: always
s
p
l
i
t
the r
e
t
u
r
n
values if we're
n
ot usin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
co
n
d
i
tions: use set_extra_expr_mod(
)
to change extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_
d
a
t
a: compat
s
yscall p
a
rameters
a
re user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_d
a
ta
:
using a user supplied offs
e
t into an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
l
o
cking: add som
e
more bh lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
a
rpenter
Merge bra
n
ch 'rfc-attribut
e
-struct' o
f
g
i
t://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
check
_
der
e
f: disable "po
t
entia
l
NULL der
e
ference
"
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpe
n
t
er
loc
k
i
n
g: add
local_bh
_
d
isabl
e
/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpent
e
r
locking: handle null vs non-NULL returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Car
p
enter
locking: update validati
o
n
/
tests to the new
wa
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs:
"
(*ptrs[
0
])
(
a
,
b)" is the same as "ptrs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
function_ptr
s
:
record when f
u
nc
t
ion po
i
nter is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
r
o
s
enberg: remove some structs which don't have
holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
rosenb
e
rg: check
for nla_put
i
nfo leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flow: fak
e
member and element
a
ssignments bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
ex
p
r
essions:
int
r
o
duce arr
a
y_element_expr
e
ss
i
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
lockin
g
: take returns values into consi
d
eration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
ch
e
ck_
k
ernel
:
l
o
o
k ha
r
der
for the container_of() mac
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpente
r
implied
:
db: fix how
r
eturns
a
re
b
roken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
db: return_
i
d was
s
e
t
incorrectly when inline functio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
e
r
d
b:
fix how the return values are ca
s
te
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpenter
h
e
lper: ma
k
e is_array() ac
c
ept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
r
p
ente
r
db: function_p
t
rs: do bette
r
at function ptr to fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carp
e
n
t
e
r
flow: create fake assignments f
o
r ar
r
ay declarati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
flow: expressions: do
n
't try up
d
ating to unin
i
tialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db
:
fixup_
k
ernel
.
sh: (s
t
ruc
t
mI
S
D
N
cha
n
nel)->
s
end information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fix
u
p_kernel
.
sh: r
e
cord wh
e
re ->notifie
r
_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpe
n
ter
f
l
ow: handl
e
inli
n
e
s be
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fun
c
tion_ptrs: track pointer
t
o pointe
r
assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
m
a
th: si
l
ence some buffer overflow false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
e
r
db: fixup
_
k
ernel
.
sh:
i
gn
o
re (struct
timer_lis
t
)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db:
l
ook up all the fu
n
ction poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carp
e
nter
helper: allow get_param_n
u
m
_
f
r
om_sym() to be
u
sed
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
str
i
ng_list: introd
u
ce list_has_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
smatch_string_
l
ist
.
c: separat
e
string_list func
t
ions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
ar
p
ent
e
r
db
:
on
l
y lookup funct
i
o
n
pointers once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
a
rpenter
a
n
not
a
te: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
helper
:
ignore parens in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
o
verflow: silence kernel false
p
ositive
a
bout __
p
er
_
cpu_
o
ffset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel: reco
v
er module_init/exi
t
() fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flo
w
: pa
s
s the
s
y
m
_lis
t
to the END_
F
ILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n C
a
rpenter
db:
f
ix
u
p_kernel
.
sh rem
o
ve
s
om
e
more USER_DATA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db:
s
peedup fill
_
db_caller_info
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Ca
r
penter
extr
a
:
improve += and -=
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpen
t
er
sv
a
l
: int
r
oduce sval_is_
n
egati
v
e
_m
i
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
sval
:
fix sva
l
_bino
p
_overflow
s
()
to
a
ccep
t
di
f
fere
n
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
enter
introduce smatch_
a
n
n
otate
.
c:
a
nnotate s
o
me common functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db: giv
e
up if t
h
ere are
o
ver 1000 re
t
urn
e
d sta
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
db: fix slow down caused b
y
recursiv
e
func
t
i
o
n
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
an Carpenter
buf_size
:
fal
s
e positive
f
rom large "im
p
lied" implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpen
t
er
he
l
per: fix expr_to_str() for functi
o
n ca
l
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nte
r
db: remove
more user
data f
r
om star
t
_x
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpenter
db: ma
n
ually del
e
te some USER_DATA m
a
rk
e
rs from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan
Carpenter
extra: mov
e
v
a
nil
l
a
a
s
s
i
g
ns into their own
f
uncti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
ran
g
es: in c
a
st_rl()
s
omet
i
mes it's b
e
tter to
just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
extra: typ
e
bug handling
a
sm expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Ca
r
pente
r
db:
f
ix bug handling ':
'
cha
r
acte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
math: Use f
u
nctio
n
call informat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
flo
w
:
handle POST_OPs co
r
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
buf_s
i
ze: h
a
ndle dma_alloc_attrs()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Ca
r
penter
e
x
tra: type bug
h
andling for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
math: fix a
c
o
u
ple type bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Ca
r
p
enter
l
ocking: fix
build proble
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_data: the p
o
inter returned from con
t
ainer_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
d
b: update a debug
m
essage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpen
t
er
db
:
chan
g
e
t
he fi
l
e searched for static functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Ca
r
penter
flo
w
:
fix a deb
u
g statemen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: sav
e
and re
s
tore the big_
e
xpression_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
ente
r
c
onditions: fix
s
mall signe
d
ness bug in c
o
mpa
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
locking: ignor
e
parenthesis
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
e
n
ter
stack: turn o
f
f
b
y defaul
t
,
a
nd less
spammy
always
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
signed: don't war
n
a
b
out
a
ssignments to boolea
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpenter
loc
a
l_values: not all
t
he set values make it t
o
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
size
o
f_
p
aram:
i
gn
o
re strncat(a,
b
, sizeo
f
(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
k
ernel:
h
an
d
le __ft
r
ace_bad
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kerne
l
: handle find_next_bit
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
db_info: save return val
u
es in in-memory
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Car
p
enter
chec
k
_k
e
rnel:
p
res
e
rve ERR_PT
R
values passed to I
S
_ER
R
_OR_
N
ULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
che
c
k_kernel
:
rename nonnull to valid_p
t
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Re
v
ert "ke
r
ne
l
: rem
o
ve
s
ome unneeded code"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Ca
r
penter
size
o
f_param
:
f
i
x f
a
lse
p
ositi
v
es with strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Da
n
Carpenter
compa
r
e
:
handle
some assi
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: shuffl
e
m
a
tch_a
s
sign a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra:
only get the
type
s
one time in match_a
s
s
i
gn
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Ca
r
penter
f
unctio
n
_ptr: move get_fnptr_name() to smatc
h
_
f
unct
i
on_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
r
pe
n
ter
db: fixup_kernel
.
sh: di
s
card caller
_
info f
r
om ->n
o
t
i
fier_c
a
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
d
b
: fixup_kernel
.
sh: only tr
a
ck the main read/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Car
p
enter
user_dat
a
: track user data
a
cross assig
n
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpente
r
smatch_capped: get_implied_max() does n
o
t
i
mpl
i
ed capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
b
u
f
_si
z
e: ex
p
ort get_real_ar
r
ay_size()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: handle MOD_ASSI
G
N better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next