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: handle previously assigned simple math
2013-05-08
Dan Carpe
n
ter
ext
r
a: handle previou
s
ly assigned
simple
m
a
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
C
arpenter
extr
a
: handle "
i
f (
a
-
3 > 100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
e
x
tra: split m
a
tch_comp
a
rison() into two functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carp
e
nte
r
capped: kn
o
wn values ar
e
al
w
a
y
s
c
a
pped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
Revert
"
sparse: int
r
oduc
e
get
_
expression_value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpent
e
r
show_unrea
c
hable
.
sh
:
add so
m
e
more ignored kerne
l
f
uncti
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Da
n
Carpe
n
ter
flow: d
o
n't print
d
u
p
licate "unre
a
c
h
able code" warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
pente
r
db
:
replace data
b
as
e
inf
o
s
c
ripts wi
t
h smd
b
.
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpen
t
e
r
show
_
unreachab
l
e
.
s
h: ch
a
ng
e
the line
number
f
ormat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
Car
p
e
n
t
er
show_unrea
c
hable
.
sh: replace
t
abs with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
db: ke
r
n
e
l
:
fake
u
p -
>
read/
w
r
ite() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n C
a
rpenter
db
:
store "too
c
ommon" function
s
i
n the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
param_clea
r
e
d
:
c
lear_buffer
:
add
them to the check_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpenter
extra:
d
o
n
't use the indirect_modi
f
ication_hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
extra: make p
a
ram_filter se
t
_extra_mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpente
r
r
o
senberg: remove pahole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carp
e
nter
p
arse: add
a big hack to
t
ra
c
k packe
d
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
*new* sma
t
ch_clear_buffer
.
c: handle me
m
set() type fu
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
param_li
m
it/f
i
lt
e
r: ignore whole range
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
arpenter
ranges: a
n
empty range is not
a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extr
a
: remove some dea
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
e
x
tra
:
sm
a
ll fix f
o
r when the database is disabl
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db: always sp
l
it
t
he
return valu
e
s
if we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n C
a
rpe
n
ter
conditions: us
e
set_extra_
e
x
p
r_mod
(
) to ch
a
nge extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpente
r
user_data:
compat syscal
l
parameters are user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Car
p
ent
e
r
user_data
:
using a user sup
p
l
ied o
f
fse
t
into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
locking: add
s
ome more b
h
l
o
ck func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Da
n
Carpenter
Merge
bra
n
ch 'rfc-attribute-struct' of gi
t
:
/
/git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan Ca
r
pen
t
er
check_
d
eref: dis
a
ble "po
t
ential NULL
dereference"
b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
locking: ad
d
local_
b
h_disab
l
e/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Ca
r
penter
locking
:
handle null vs non-N
U
L
L re
t
u
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
ocking: u
p
date val
i
dation/ tests to the new w
a
rning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
pen
t
er
functio
n
_
p
trs: "
(
*
ptr
s
[0])(
a
, b)"
is
t
h
e sa
m
e as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
fu
n
c
tion
_
ptrs: record when
f
unctio
n
p
oint
e
r
i
s saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpent
e
r
r
osenberg:
r
emove
some str
u
ct
s
which
don't have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
rosenberg: check for nla_p
u
t
info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flow: fake
mem
b
e
r and element assignments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
expre
s
sio
n
s: introduce
a
rray_elemen
t
_expres
s
ion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
lock
i
n
g: take
returns values into
c
on
s
idera
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
c
heck_kernel: look hard
e
r
f
o
r th
e
container_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpenter
implie
d
: db:
f
i
x h
o
w
r
eturns are broke
n
a
p
a
rt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
db: return_id was set incorrectl
y
w
hen inline
f
unctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
e
n
ter
db: fix how t
h
e return values are caste
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan C
a
rpenter
help
e
r: make is_array() a
c
cept NU
L
L pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
db
:
function_pt
r
s: do b
e
tter at function ptr to
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
e
r
flow:
c
r
eate fake ass
i
gnme
n
t
s
for
a
rray declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: e
x
pr
e
ssi
o
ns: don't tr
y
updating to uninitiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
db: fi
x
up_kernel
.
sh:
(
struc
t
mI
S
DNcha
n
n
el
)
->
s
end inf
o
rmation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan C
a
rpenter
db
:
fi
x
u
p
_k
e
rnel
.
s
h
: record where ->notifier_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
fl
o
w: handle inlines be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
e
r
d
b
:
f
unction_
p
t
r
s: track pointer to pointer
a
s
signment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
Carpenter
math:
s
ilence some buffer ov
e
rflow fa
l
se positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b:
f
ixup_kernel
.
sh
:
i
gnor
e
(struc
t
t
imer_l
i
st)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szy
m
on Janc
extra: Fix seg
m
en
t
ation fault
i
n match_
a
ssig
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
db
:
look up all
t
he function
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: allow get
_
param_
n
um_
f
rom_sym() to be
used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
t
ring_list: intro
d
u
c
e
list_has_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carp
e
nter
s
ma
t
ch_string_list
.
c: separate st
r
i
n
g_list f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
o
nl
y
lookup
function poi
n
ters once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
annotat
e
: use it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: ignore parens
in ex
p
r
_
to_var
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpent
e
r
overflow: silence
k
ern
e
l false positive about __per_cpu
_
offset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel: r
e
cover module_init/exit
(
)
functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
f
l
o
w: pa
s
s the
sym_lis
t
to the EN
D
_FI
L
E_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arp
e
nter
db: fixup_ke
r
nel
.
s
h
remove so
m
e more USER_DATA t
a
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
d
b:
speedup f
i
ll_db_ca
l
ler_
i
nfo
.
p
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
e
x
tra
:
improve
+= and -= h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
sva
l
: introduce sva
l
_is_negati
v
e_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpent
e
r
sval: f
i
x sval_binop_overfl
o
w
s() t
o
accept differen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
introduce
s
m
atch_a
n
notate
.
c: ann
o
tate
s
o
m
e common f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
db:
g
ive up if there
are over 1
0
00 re
t
urned states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: fix slo
w
down
c
aused by re
c
urs
i
ve function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Carpenter
b
u
f
_size: false
p
o
sitive from l
a
rge "implied"
implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
help
e
r: fi
x
expr_to_str()
f
or function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan C
a
rpen
t
er
db:
r
e
move more user data from start_x
m
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db:
m
anually del
e
te
s
o
me USER_DATA markers from th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
D
an Carpenter
extra: move vanilla assigns into their
o
wn fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ranges: i
n
ca
s
t_r
l
() somet
i
mes it's better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
extra
:
typ
e
bug
h
an
d
ling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
n
t
er
db: fix bug h
a
n
dlin
g
'
:' character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
mat
h
:
Use function call information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
C
a
r
penter
flow: handle POS
T
_
O
Ps correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpen
t
er
buf_s
i
ze: handle dma_alloc
_
att
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type b
u
g han
d
l
i
n
g for
l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
ar
p
ent
e
r
math: fix a couple type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpente
r
locki
n
g
:
fix bu
i
ld problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpenter
user_data: the pointe
r
r
et
u
r
n
ed from containe
r
_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: update a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: chan
g
e
t
he file se
a
rch
e
d fo
r
s
t
atic func
t
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
pe
n
ter
flow:
f
i
x a debug
stateme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carp
e
n
ter
f
low: save and restore
t
he big_expression_stack when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
C
arpent
e
r
condi
t
ions: f
i
x
smal
l
signed
n
ess bug in compares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
locking:
ignore par
e
n
t
h
e
sis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sta
c
k: turn off by default, and less spam
m
y al
w
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpenter
signed:
d
o
n
'
t
w
arn
about a
s
signments
to bo
o
le
a
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nte
r
local_values:
n
o
t all t
h
e
se
t
values mak
e
it to
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
a
r
pente
r
sizeof_para
m
: ignor
e
strncat(a, b,
s
i
z
e
of
(
b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpen
t
er
ker
n
e
l
: han
d
le __ftrace_bad_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpenter
kernel: h
a
ndl
e
find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Car
p
enter
db_info: sa
v
e
return values in in-memor
y
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next