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
Dan Ca
r
penter
db
:
i
n
troduce call_results_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Da
n
Carpenter
db: m
o
ve get_pa
r
am_
n
ame() to
c
entral
locat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
flow: look
at static
and not-
s
tatic local inline functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
D
an C
a
rpenter
extra: add s
e
t_ex
t
ra_nodmod
(
) to smatch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
D
an Carpen
t
er
de
r
ef: fix segfault pa
r
sing invalid
c
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
D
an Carpen
t
er
implied: p
r
eserve e
q
ui
v
a
len
c
e
across switch statement
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carp
e
nte
r
math: handle sizeof for zero size bitfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpen
t
e
r
extra:
handle pre
v
iously assign
e
d s
i
mple mat
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
an Ca
r
pe
n
ter
ex
t
r
a
:
handle "if (a - 3 > 100)
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: split mat
c
h_comparison() into
two functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
capped: kn
o
wn values are always capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
r
penter
Reve
r
t "spars
e
: introduce get_expression_value_nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpe
n
ter
show_unreachable
.
sh: ad
d
so
m
e more ign
o
red
k
e
rnel
f
u
nctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpent
e
r
flow:
d
on't prin
t
dup
l
icate
"unreach
a
ble code" warnin
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: replac
e
data
b
ase info scripts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unreach
a
b
l
e
.
s
h
: change th
e
lin
e
number format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpen
t
er
show_unreachable
.
sh:
repla
c
e
t
abs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
D
an Carpenter
db:
kernel: fake up ->read/wr
i
t
e()
lim
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
db: store "too c
o
mmon"
functions
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
param_
c
leare
d
: cle
a
r_buffer: add them to the
c
heck_list
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Ca
r
p
enter
e
x
tra: don't use th
e
ind
i
rect_
m
odific
a
tion
_
h
oo
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
extra: m
a
k
e param_filter set_extra_mod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: remov
e
pah
o
le depe
n
dency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
Car
p
ent
e
r
p
arse: a
d
d a big hack t
o
track packed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arpe
n
te
r
*
n
ew* smatc
h
_clear_
b
uffer
.
c: handle m
e
mset() type fun
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan C
a
r
penter
param_limi
t
/filter: i
g
nore whol
e
ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
p
e
nter
ranges:
an empty range is not a whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
extra: remove
s
o
m
e dead
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
extra: s
m
all
fix for when the database is disabl
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n
C
a
rpenter
db: alway
s
split
t
he retu
r
n values
i
f
w
e
'
r
e n
o
t using
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
conditions: use set
_
ex
t
ra_expr_mod() to c
h
ang
e
extr
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
a
rpenter
user
_
dat
a
: compa
t
sysc
a
ll paramete
r
s
a
r
e user dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
pen
t
er
user_data: using
a user supp
l
ied
o
ffset i
n
t
o
an known
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
locking: add s
o
me more b
h
lock functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carp
e
nter
Merg
e
branch 'rfc-at
t
ribut
e
-struct'
o
f
g
i
t
:
/
/git
.
k
e
r
nel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
ar
p
en
t
er
che
c
k_deref
:
disable
"potenti
a
l
NULL
d
ereference" by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan
Carpenter
l
o
ckin
g
:
ad
d
lo
c
al_bh
_
disable/enable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
l
ocking: handle null vs non-NULL re
t
urns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
lockin
g
: update validation/
tests to
t
he
n
ew warnin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
fun
c
tion_ptrs: "(*ptrs[0])(a,
b
)" is th
e
same as "p
t
rs
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
function_ptrs: record whe
n
function point
e
r is saved
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Carpe
n
ter
rose
n
b
erg: remove s
o
me struct
s
wh
i
ch don'
t
have h
o
les
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carp
e
nter
rosenber
g
: c
h
eck for nla_put in
f
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
flow: fake member an
d
e
lem
e
nt assignm
e
nts b
e
tte
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
expre
s
sion
s
: introduce
a
rray_eleme
n
t_
e
xpr
e
s
s
i
o
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
t
er
locki
n
g: take
returns val
u
e
s
into
c
o
n
s
i
deration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
check_kernel: look harder for
t
h
e
contain
e
r_of()
m
a
cro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
implied:
d
b: fi
x
how returns are brok
e
n apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arp
e
nter
db
:
return_id was set incor
r
ectly when inline func
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
db:
f
ix how the return
v
alues
a
re
casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpe
n
ter
helper: make is_array
(
) a
c
cept NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carp
e
nter
db: funct
i
o
n_ptrs:
d
o better at
f
uncti
o
n
p
tr to func
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpenter
flow
:
c
r
eate fak
e
assignm
e
nts for a
r
ray d
e
claratio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow
:
e
x
pression
s
: don't
tr
y
updating to uninitiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Ca
r
penter
db: f
i
xup_ker
n
e
l
.
sh:
(
struct m
I
S
D
N
channel
)
->send information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db: fixup_ker
n
el
.
sh: r
e
c
o
rd where ->notifier_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
flow
:
han
d
le i
n
lines
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
db: fu
n
ction_p
t
rs: track
pointer to
poin
t
er assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
mat
h
:
s
ilence s
o
me buffer overflow false po
s
it
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n
Carpenter
db:
f
i
xu
p
_kernel
.
sh: ig
n
o
re
(stru
c
t
timer_list
)
->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
extra: Fi
x
segmentation fault in match
_
a
s
s
ign
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
l
o
ok
up
all the
fu
n
c
tion pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
p
en
t
e
r
helper: all
o
w get_param_num
_
from_sym() t
o
be use
d
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
str
i
n
g_li
s
t: i
n
tr
o
d
uce l
i
st_
h
as_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
smatch_
s
tring_list
.
c: separate stri
n
g_l
i
st functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: only lookup function po
i
nter
s
once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
annotate:
u
se
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
helper: ignore parens in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpente
r
overflow:
s
i
lenc
e
k
ernel false positive ab
o
u
t
__per_cpu_offset
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kernel: recover
m
odule_in
i
t/exit() functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
f
l
ow
:
pass the
sym
_
list to the END_
F
ILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
d
b: f
i
xup_kernel
.
s
h remove some more USER_DATA
tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
db: speedup fill_db_cal
l
e
r_
i
nfo
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
ex
t
r
a: improve += and -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
sval: introduce s
v
al_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sva
l
: fix sval_b
i
nop
_
overflows() to accept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
introduce smat
c
h_annotate
.
c: annotate s
o
me com
m
o
n
f
u
n
ct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
Carpenter
d
b
: give up if
t
here are over 1000 returne
d
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpente
r
db: fix slow down cause
d
by recursive f
u
nction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
D
a
n C
a
rpenter
buf_size:
f
alse
p
ositive from large "
i
mpl
i
e
d" im
p
l
i
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Ca
r
pent
e
r
helper:
f
ix
e
xpr_to
_
str() for
function ca
l
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
Ca
r
penter
d
b
: r
e
move more u
s
er data from
s
tart
_
x
m
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
ente
r
db: manually d
e
lete some USER_DATA markers from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
extra:
m
ov
e
v
a
nilla as
s
igns int
o
their own fun
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carp
e
nter
r
anges
:
in c
a
s
t_rl(
)
sometimes it
'
s
bet
t
er to
j
ust
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carpenter
e
x
tra: type bu
g
hand
l
ing asm
ex
p
ressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
db: fix bug handling ':' character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: Use function call information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
an Carp
e
n
t
er
f
low: handle POST_O
P
s c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpenter
buf
_
s
i
ze: h
a
n
dle dma_alloc_att
r
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ex
t
ra: type bug ha
n
dling for l
o
ops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
r
p
enter
math: fix a
couple typ
e
b
ugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
locking:
fix bu
i
ld problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
u
s
e
r_data: the pointer retur
n
ed from
c
on
t
a
iner_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpent
e
r
db: update a debug message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Da
n
Carpent
e
r
db: ch
a
nge the file sea
r
c
h
ed for sta
t
ic functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rp
e
nter
flo
w
: fix a debug state
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n
C
arpenter
fl
o
w: s
a
ve a
n
d restore t
h
e
big_expression_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
c
o
nditions: fix
s
mall signed
n
ess b
u
g in compares
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpente
r
l
ocking: ignore par
e
nthe
s
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next