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
*new* smatch_clear_buffer.c: handle memset() type functions
2013-04-17
Dan Carpe
n
ter
*
new* smat
c
h
_
c
l
ear_buffer
.
c: han
d
le memset() ty
p
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpen
t
e
r
param
_
li
m
it/filte
r
:
ignore whole ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
pen
t
e
r
ranges
:
an emp
t
y range is not a whole ra
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
extra: remove
s
ome dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan C
a
rpenter
e
xt
r
a: small fix f
o
r w
h
en
t
h
e databa
s
e is
d
isa
b
led
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db
:
always split
t
h
e return values if
we're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Car
p
enter
conditions: u
s
e set_extra_expr_m
o
d() to
change extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
a
n Carpenter
use
r
_
d
ata: compat syscall parameters a
r
e user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_
d
ata: using a user s
u
ppli
e
d o
f
fset into an k
n
o
w
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
lo
c
king: add som
e
more bh l
o
c
k
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
Dan Carpenter
Merge br
a
nch
'
r
f
c-attribute-struct' of
g
it:
/
/git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
D
a
n
Carpente
r
c
h
eck_de
r
ef: disable
"
potent
i
al NU
L
L
d
e
reference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpente
r
locking: add loca
l
_bh_disable/e
n
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
D
a
n
Carpen
t
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 Carp
e
nter
locking
:
u
p
date valida
t
i
on/ tes
t
s to the
new warn
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpe
n
ter
f
u
nc
t
ion
_
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
func
t
io
n
_
p
trs: record
when function pointer is
save
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
rosenberg:
r
emove
som
e
st
r
ucts which don't have holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
rosenberg: check for
n
la
_
put info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
er
flow: fake
membe
r
and ele
m
e
n
t assig
n
ments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
arp
e
nter
expressions: i
n
t
r
oduce array_element_expression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
r
pent
e
r
locking: ta
k
e r
e
turns values into consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
check
_
ker
n
el: look
h
arde
r
f
or the cont
a
i
n
e
r
_
of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
impl
i
e
d: db:
f
ix how retur
n
s are broken apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpe
n
ter
d
b: retur
n
_id was se
t
incorrectly wh
e
n inline f
u
n
c
tio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Ca
r
penter
db:
f
ix how the return v
a
lue
s
are
casted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Dan Carpen
t
er
h
e
lper: make is_arr
a
y() acc
e
pt N
U
LL
p
ointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
db
:
f
u
nction_ptrs: d
o
be
t
ter
a
t function ptr t
o
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Car
p
enter
flow: crea
t
e
f
a
ke assignm
e
n
t
s for a
r
ra
y
declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
C
arpen
t
e
r
f
low
:
expressi
o
ns: don'
t
try updating t
o
uniniti
a
lized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Ca
r
penter
db: fi
x
up_ker
n
el
.
sh: (s
t
ruct mISD
N
channel)->send information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpenter
d
b
:
fixup_kernel
.
sh
:
record
where ->notifier_call is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
e
r
flow: h
a
ndle inli
n
es better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carpen
t
er
db: function_ptrs:
track poi
n
ter to pointer assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an C
a
rpenter
m
a
th
:
silen
c
e
some buff
e
r overflow f
a
lse positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b
: fixup_
k
ernel
.
sh:
ignore
(
s
t
ruc
t
t
i
mer
_
list
)
->f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
e
x
tra:
Fix segmentation fault in match
_
assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carp
e
n
ter
db: look up all th
e
function
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
he
l
per: allow get_param
_
num_
f
rom_sy
m
() to be
u
se
d
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Ca
r
pen
t
er
string_list: int
r
o
d
uce list
_
has_s
t
ring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
smat
c
h_string_l
i
s
t
.
c: separate str
i
ng_lis
t
fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
only
lookup
functio
n
pointer
s
once
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
annotate:
u
se it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
rpenter
helper: igno
r
e
paren
s
in expr_to_var
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpen
t
er
overflow: silence kernel false pos
i
t
i
v
e about __per_cp
u
_
o
ffset
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
r
penter
k
e
r
n
el
:
recover
module_init/exi
t
() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
f
lo
w
:
pass
the
s
ym_
l
ist to th
e
END_FIL
E
_
HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
db: fixup_kernel
.
sh remove s
o
me more USER_DATA
tags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Ca
r
penter
db: speedup fill_db
_
caller_info
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
r
pente
r
extra: improve += and -= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval:
introduce sva
l
_is_negative_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sva
l
: fix sval_binop_over
f
lows() to accept
different
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n
C
arpe
n
ter
i
ntroduce s
m
atch_annotate
.
c: annotate
s
ome common functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
db: give up if there are over 1000 r
e
t
u
rned st
a
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpenter
db:
f
i
x
s
low down caused by recursive function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
ter
buf_size: fa
l
se positive
from
large "impl
i
ed" imp
l
ied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nter
helper: f
i
x
e
xpr_to_str() fo
r
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
db: remove
m
o
r
e user data from sta
r
t_xmi
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
a
rpenter
db: m
a
nual
l
y delete some USER_DATA ma
r
kers from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
Dan Ca
r
p
enter
extr
a
: m
o
v
e
vanilla assigns into their
o
wn functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpenter
range
s
: in
c
a
st_rl() some
t
ime
s
it
'
s better to jus
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Da
n
Carpen
t
er
extra:
t
ype bu
g
handlin
g
asm ex
p
res
s
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
db: fi
x
bug handling ':'
character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an Ca
r
penter
m
a
th: U
s
e function call info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
flow: handle PO
S
T_OPs correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
buf_size:
h
andle d
m
a_
a
llo
c
_
a
ttrs()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
arpenter
extra: type bug ha
n
dling fo
r
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
e
nter
m
at
h
: f
i
x a couple type bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
lockin
g
: f
i
x
b
uild pro
b
lem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
u
ser_data: the p
o
inter return
e
d from container_of(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carpenter
db: update a debug m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
D
a
n Carpenter
db: change the file searched for static functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
f
low: fix a debug
stateme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow: save
a
nd
r
e
store t
h
e
big
_
expression_stack
whe
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
c
o
ndi
t
i
o
n
s
:
f
ix small
s
igned
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
a
n Carpenter
locking: ignore parenthe
s
is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Ca
r
penter
stack: tu
r
n
off by defaul
t
,
and l
e
ss spammy always
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpe
n
ter
signed:
d
on't war
n
about assignments to
b
o
o
l
ean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arp
e
nter
local_values:
not a
l
l
the s
e
t values make it to
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
si
z
e
o
f_param: ignore strncat
(
a, b, siz
e
of(b));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
kernel: handle
__f
t
race_bad
_
t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
D
an Carpenter
ke
r
ne
l
: handle find_nex
t
_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
db_info: save re
t
urn values in in-memory datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan
C
ar
p
enter
check_kernel: preserve ERR_PTR values
passed
to IS_ERR_OR_NU
L
L()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
ch
e
ck_kernel:
r
ename nonnull to
valid_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpen
t
e
r
R
e
v
e
rt
"kernel: remove s
o
me unn
e
e
d
ed
c
ode"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carp
e
n
t
er
s
i
zeof_p
a
ram: fix
f
alse positives with strlc
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
Dan Carpenter
compar
e
: h
a
ndle
s
o
me
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
extra:
s
huff
l
e match_assign a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Car
p
ent
e
r
extr
a
: only get t
h
e type
s
o
n
e time in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
functi
o
n_ptr: move
g
e
t_fnpt
r
_
name() to smatch
_
funct
i
on_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fi
x
up_kernel
.
s
h
:
discar
d
caller_inf
o
from ->notifier_ca
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan C
a
rpenter
d
b
:
fixup_k
e
rnel
.
sh: only
t
rack the main read/wri
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
n
t
er
user_d
a
ta: track user data across a
s
signme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
sm
a
tch_cap
p
ed: get_implied_max() does not implied ca
p
p
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpent
e
r
buf_
s
ize: expor
t
get_real_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
ex
t
ra: handle
M
OD_AS
S
IGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpe
n
ter
db: don't p
r
int information
caller information
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpen
t
er
function
_
ptrs:
track parameters as
w
ell
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n
Carp
e
nter
function_p
t
rs: separ
a
te
into
i
ts own file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next