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
param_limit/filter: ignore whole ranges
2013-04-17
Dan Ca
r
penter
param_limit
/
filte
r
: ignore whole
r
anges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
ranges: an e
m
pt
y
r
ange is not
a whole rang
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
ex
t
ra: remov
e
some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
e
x
tr
a
: small fix for
w
hen the database is disab
l
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
db: a
l
ways spl
i
t the r
e
tu
r
n
values if
we'r
e
no
t
usin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
conditions:
u
se set_extra_e
x
pr_mod()
to change ex
t
ra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: compat syscall parameters are us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
user_data: using
a us
e
r
s
up
p
lied offset in
t
o an known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan Car
p
enter
locking: add some more bh
lock f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-12
D
an
C
arpente
r
Merge
branch 'rfc-attribute
-
struct' of
g
it:
/
/git
.
ker
n
el
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpenter
check_deref: d
i
sable "p
o
tential NULL dereference" by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-10
Dan Ca
r
p
en
t
er
locki
n
g:
add
l
ocal_bh_disable/
e
nable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-09
Da
n
Ca
r
p
e
nt
e
r
lock
i
ng: handl
e
null vs non-NUL
L
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
l
ocking: update vali
d
at
i
on/
tests to
the
new warning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
a
r
p
e
n
ter
func
t
i
o
n
_
pt
r
s: "(*ptrs[0
]
)(a,
b
)" is
th
e
same as "ptrs
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carpenter
f
unction_ptrs:
record when functio
n
pointer is save
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
rosenberg: rem
o
v
e
some structs which
d
on
'
t hav
e
holes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
ent
e
r
r
osenbe
r
g: check
for nla_p
u
t info leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
Ca
r
penter
flow: fa
k
e
member and element
assignment
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
expr
e
ssions:
in
t
roduce array_element_expr
e
ssion()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
an
C
arpenter
lockin
g
: take returns values into consideration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Car
p
enter
ch
e
c
k_kernel: look harder f
o
r the container_of() macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Carp
e
nter
im
p
lied: d
b
: fix
h
ow returns
a
re broken a
p
art
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpente
r
d
b
: return
_
i
d
w
as
set incorre
c
tly w
h
en inline functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-08
Dan C
a
rpenter
d
b
: fix how the return values
a
re c
a
sted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-04
Da
n
Carpenter
helpe
r
: make is_array
(
) ac
c
e
p
t NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan
Carpenter
db:
f
unction_ptrs:
d
o
b
etter at function ptr to
f
unction
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpenter
flow: cr
e
ate fake assignment
s
fo
r
array declar
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
Carpenter
flow: expres
s
ions: don
'
t try updat
i
ng to u
n
initia
l
i
z
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpe
n
ter
db:
fixup
_
k
e
r
nel
.
sh: (str
u
ct mISD
N
chann
e
l)->send information
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n
Car
p
enter
db: f
i
xup_ke
r
ne
l
.
sh: record where ->
n
otifier_cal
l
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an Carpenter
flow: han
d
le inline
s
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: func
t
ion_ptrs: track pointer
t
o pointer a
s
signments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
D
an
C
arpe
n
ter
m
a
t
h: silence some buffe
r
overf
l
o
w
false po
s
iti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carp
e
nte
r
db: fixup_kerne
l
.
s
h
: ignore (struct tim
e
r
_
list)->function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-01
Szym
o
n Janc
extra
:
Fix segme
n
t
a
tion fault
i
n match
_
assi
g
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpe
n
ter
db:
l
ook u
p
all the fu
n
ction pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
pente
r
helper: allow get_para
m
_num_from_sym() t
o
be u
s
ed i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
a
r
p
ente
r
string_list: introdu
c
e list_
h
as_str
i
ng
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
match_string_lis
t
.
c: separate string_list
f
u
n
ction
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db
:
o
n
ly lookup function
p
ointers on
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpent
e
r
an
n
otate:
u
se
i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpen
t
er
helper
:
ig
n
ore parens in expr_to_var(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overfl
o
w: sil
e
nce ker
n
el false positive
a
bout __per_cp
u
_offse
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
kerne
l
:
recove
r
module_init/exit() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
te
r
flow:
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
Dan
Carpen
t
er
d
b
: fixup_kernel
.
sh remove
s
o
me more US
E
R_DATA
t
ags
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
D
an
C
a
rpenter
db: sp
e
edup
f
i
ll_db_calle
r
_in
f
o
.
pl
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
extra: improve
+
= and
-= handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: in
t
rodu
c
e sval_is_negative_min()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
s
val: fix sval_binop_overfl
o
ws
(
) to accep
t
differen
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carp
e
nter
introduce smatch_a
n
n
otate
.
c: annotate some
c
ommon funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db:
g
ive up
i
f
there are o
v
er 1000
r
eturned sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpen
t
er
db: fix
slow down
c
aused b
y
recursi
v
e function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
buf_size: f
a
lse positive
from la
r
ge
"
i
m
plied"
implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
h
e
lper: fix expr_to
_
s
t
r
() for
function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
enter
db: remove more user data from
s
tart_xm
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpe
n
ter
db
:
manua
l
l
y
de
l
ete so
m
e USER_DA
T
A markers
from
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-18
D
a
n Carpe
n
t
e
r
extra: move
vanilla a
s
signs
in
t
o their o
w
n functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
n
t
e
r
rang
e
s: in cast_
r
l()
s
ometimes it's
better to just
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
ar
p
enter
extr
a
: type b
u
g
handling asm ex
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpe
n
ter
db: fi
x
b
ug h
a
ndling '
:
' chara
c
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carp
e
nter
math: Use functi
o
n call information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
C
a
r
penter
flow:
han
d
le POST_O
P
s
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
a
n Carpent
e
r
buf_size: handle dma_
a
lloc
_
a
tt
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
D
an
Ca
r
p
enter
extra: t
y
pe bug handling for lo
o
ps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpent
e
r
ma
t
h: fix a cou
p
le typ
e
bugs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
l
o
c
k
i
ng: fix bui
l
d problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpenter
user_data: the p
o
inter re
t
u
rned f
r
o
m
container
_
o
f
(
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan
Carpente
r
db: upda
t
e a debug message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db: cha
n
g
e
the
f
ile
s
earched for
s
t
atic functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
f
low: fix a debug statem
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carp
e
nt
e
r
flow: save
and
r
esto
r
e the
b
ig_expression_sta
c
k
wh
e
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-14
Dan C
a
rpenter
conditions: f
i
x sm
a
ll signedne
s
s bu
g
i
n
com
p
ares
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
locking: igno
r
e parenthesi
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
r
p
enter
stack: turn off b
y
d
e
fault, and le
s
s
spammy
a
lways
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan C
a
rpe
n
ter
signed: don't warn a
b
out assignments t
o
boolean
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
C
a
r
pente
r
local_
v
alues: not all the set values make
i
t to the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
sizeo
f
_param: ign
o
re strncat(a, b,
sizeof(b))
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carp
e
nter
kernel: hand
l
e __f
t
r
a
c
e
_bad_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
kerne
l
:
hand
l
e
find_next_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-12
Dan Ca
r
penter
db_info: sav
e
r
eturn v
a
lues in in-
m
emory
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Carpenter
c
heck_kernel: pres
e
rve ERR
_
P
T
R va
l
ues passed to IS_ERR_OR_NULL()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Car
p
enter
check_kerne
l
: rename nonnull
t
o vali
d
_ptr
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
Revert "
k
ernel: remove some unneeded code"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-08
Da
n
Ca
r
p
e
nter
sizeof_param: fix fa
l
se
p
ositives with str
l
cpy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-07
D
an
Car
p
enter
compar
e
: handle some
ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan
C
arpent
e
r
extra:
s
huffle
match_assign
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: only get the types one ti
m
e in match_assign
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
funct
i
on_ptr: move get_fnptr_name
(
)
t
o smatch_functio
n
_ptr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
d
b
:
fixup
_
kern
e
l
.
sh:
d
iscard calle
r
_info from ->n
o
tifie
r
_ca
l
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: fixup_kernel
.
sh: only trac
k
the m
a
in read/write
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Car
p
enter
user_data:
t
rac
k
user da
t
a
acr
o
ss ass
i
gnment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
sma
t
ch_cappe
d
: get_imp
l
ied_max() does not
i
mplied capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Ca
r
pen
t
er
buf_siz
e
: export get_re
a
l_array_size()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an
Carpente
r
extra: hand
l
e
M
OD_ASSIGN better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
a
n Carpenter
d
b
: don't
p
rint inf
o
r
mation caller i
n
formation for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carp
e
nter
fu
n
ction_ptrs: track parameters as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-06
D
an
Carp
e
n
ter
function_ptrs: sep
a
rate into it
s
own fil
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-03-01
Dan Carpenter
data
:
add snp
r
intf
t
o
kernel
.
sizeof
_
param
.
remove
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next