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
kernel: move stuff from check_kernel.c to db/fixup_kernel.sh
2013-05-16
D
a
n Carpen
t
er
db: int
r
o
d
uce call_results_
t
o
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
C
arp
e
nter
db: move
get_pa
r
am_name()
t
o central location
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan
Carpenter
flow:
l
ook at static and
n
ot-static local i
n
line funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan
Car
p
enter
ext
r
a: add set_e
x
tra_nodmod(
)
to
smatch_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpen
t
er
de
r
e
f: fix segfau
l
t
parsing
inva
l
id
c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implie
d
: preserv
e
equivalence across
swit
c
h statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Carpenter
math: handle sizeof for z
e
ro size bitf
i
elds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpen
t
er
extra: handle
p
reviously assi
g
ned simple
m
a
t
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Ca
r
penter
extra: handle
"if
(
a
- 3 > 100)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: sp
l
it matc
h
_
compa
r
is
o
n() into two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
a
r
pen
t
er
capped: kn
o
wn values are always ca
p
ped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
D
an Car
p
enter
Revert "sparse: i
n
trod
u
ce ge
t
_express
i
on_value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
er
show_u
n
reac
h
abl
e
.
s
h: ad
d
some
more ignored kernel
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
D
a
n Carpenter
flo
w
: don't print duplicate "unr
e
a
c
ha
b
le code" wa
r
nings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Da
n
Car
p
enter
db: replace d
a
tabase inf
o
script
s
with smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unr
e
achable
.
sh:
chang
e
the line number f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
an
Car
p
enter
show_unreachab
l
e
.
sh: replace
tabs wi
t
h spac
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Da
n
Carpenter
db:
k
ern
e
l
:
f
a
ke up ->read/write
(
) li
m
its
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpe
n
ter
db: sto
r
e "too common
"
fun
c
ti
o
ns
i
n
the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
p
a
ram_cleared: cl
e
a
r
_buffer: add
t
hem to t
h
e
c
heck_list
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpent
e
r
extra: d
o
n
'
t u
s
e th
e
indir
e
c
t
_modification_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
e
x
t
r
a:
m
ake
param_filter set_extra
_
mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
rpenter
rosenberg:
remo
v
e pahole depend
e
ncy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
parse: add a
b
ig hack to track packed s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*n
e
w* smatch_clear_buffer
.
c: ha
n
d
l
e
memset() type fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
param_limit/f
i
l
te
r
:
ignore wh
o
l
e
r
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
e
nter
ranges: a
n
emp
t
y
r
a
nge
i
s not a whole range
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
r
p
ente
r
extra: r
e
move some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
extra
:
s
m
all fix for
when
the da
t
abase is di
s
abl
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
db: alw
a
ys
s
plit the return valu
e
s if we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
conditio
n
s: use
set_extra_expr_
m
od() to
c
hang
e
e
xt
r
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
use
r
_data: compat syscall parameters are user da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
u
ser_data: using a user supplied offse
t
into an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
e
nter
locking: add some
mo
r
e bh lock functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpen
t
er
Merge branch
'rfc-att
r
ibute-
s
t
r
uc
t
'
o
f git://
g
it
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n Carpenter
check_deref
:
disable "poten
t
ial NU
L
L
d
ereference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
D
an Carp
e
n
t
er
locking
:
add loca
l
_bh_disable/enable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
lock
i
ng:
h
andle null vs non-NUL
L
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
lockin
g
: update v
a
lid
a
t
ion/ tests
t
o
the
new war
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
fu
n
c
t
i
o
n
_ptrs:
"
(*ptrs[
0
])(a, b)" i
s
the same
as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
f
unction_ptrs:
record w
h
en function poin
t
er i
s
saved
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carp
e
nter
rosenberg: remove
some structs which
don't ha
v
e holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
t
er
ro
s
enb
e
r
g: check f
o
r nla_put info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpente
r
f
l
ow: fake mem
b
er and element assi
g
nments better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
expressions
:
in
t
roduce array_elem
e
nt_expressi
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carp
e
nter
lock
i
ng: take returns
values in
t
o consid
e
ration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpe
n
ter
c
h
eck_kernel: look
ha
r
der
for the con
t
ai
n
er_of
(
) ma
c
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpenter
implied: db: fix how returns
a
re bro
k
en apa
r
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db: return
_
id was set incorrect
l
y when inline funct
i
ons
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
db: fix
h
ow the return values are casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpent
e
r
helpe
r
:
m
a
ke is
_
arra
y
() accept
NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
an Carp
e
nter
db: functio
n
_
p
trs: do better
at function ptr to
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpente
r
fl
o
w: crea
t
e f
a
ke assi
g
nments
f
or array declara
t
ion
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flo
w
: e
x
pression
s
: don'
t
try updating to uninit
i
a
l
iz
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
d
b: fixup_kernel
.
sh
:
(st
r
uct mI
S
DNchannel)->send in
f
o
rmation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db
:
fixup_kernel
.
sh: record w
h
ere ->notifier
_
call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
Car
p
enter
flow
:
ha
n
d
l
e in
l
ines bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fu
n
ction_ptrs: t
r
ack pointer to pointer assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Da
n
C
a
rp
e
nter
math:
silence
s
ome b
u
ffer overflow fals
e
pos
i
tives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
e
r
db:
fixup_ker
n
el
.
s
h: ignore (
s
t
ruct
timer_list
)
->fu
n
ct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
d
b
: look
u
p all
th
e
function po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Car
p
e
nter
h
elper:
a
llow
get_p
a
ram_num_from_sym() to be used in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
string
_
list: int
r
o
d
uc
e
list_ha
s
_
s
tring(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
sma
t
ch_string
_
list
.
c
:
separate string_l
i
st f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpe
n
ter
db: only l
o
okup function pointers once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
annotate: use
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
helper: ign
o
re paren
s
in
expr_to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ove
r
flow:
s
i
l
ence ker
n
el f
a
lse
p
ositive about
__per_cpu_offs
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpe
n
ter
ke
r
nel: recover module
_
init/exit(
)
fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
flow
:
pass t
h
e sym_list to the END_FILE_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
db:
fixup
_
ke
r
nel
.
sh remo
v
e some mor
e
USER_DA
T
A
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: sp
e
e
dup fill_db_call
e
r
_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: i
m
prove +
=
and -=
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: in
t
roduce s
v
al_is_neg
a
tive_
m
in()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
e
nter
sval: fix sval_binop_overflo
w
s() to
accept different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
intr
o
du
c
e
s
match_annot
a
te
.
c:
a
nnotate some com
m
on func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpent
e
r
db: give
u
p
i
f th
e
re are
over 1000 returned
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpe
n
ter
d
b: fix sl
o
w d
o
w
n
caused by recursive functi
o
n cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carpent
e
r
buf_size: false posi
t
ive from
l
a
rge "i
m
plied" implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
penter
helper: f
i
x expr_to_
s
tr() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpent
e
r
db: remov
e
more
user data from start_xmit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Da
n
Carpe
n
ter
db:
manually delete s
o
m
e
USER
_
DATA markers f
r
om t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra: mo
v
e vanilla a
s
signs in
t
o
their own functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an C
a
rpenter
ranges:
in cast_rl() sometimes it's bette
r
to jus
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type
bug ha
n
dling asm expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
penter
d
b: fi
x
b
u
g handling
'
:' c
h
aracter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carp
e
n
ter
math: Use function call information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
flow: h
a
ndle POST_OPs cor
r
ect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
b
uf_
s
ize: handle d
m
a_al
l
oc
_
attrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arp
e
nter
extra
:
type bug hand
l
ing
fo
r
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: fix a couple t
y
p
e
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
l
o
cking: f
i
x build proble
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpente
r
u
ser_data:
t
h
e pointer returned from cont
a
iner_
o
f(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
db: update a
d
e
bug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpenter
db: cha
n
ge the file searc
h
e
d for static f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpen
t
er
flow: f
i
x
a debu
g
s
tatement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
fl
o
w: save and restore the big_expression_st
a
ck when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
c
o
ndit
i
ons
:
fix sm
a
ll signe
d
n
ess b
u
g in c
o
mp
a
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
locking: ignore pare
n
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n
Carpe
n
ter
stack: turn
o
ff by default, and less spa
m
my always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next