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
helper: taking the address is not a complicated variable
2014-01-21
Dan Carpenter
helper: taking the address is not a com
p
licated variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Da
n
Carpenter
helper: NULL
dereference in get_mem
b
er_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
D
an Carpenter
extr
a
:
d
on't
s
av
e
whole rang
e
s in
the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carp
e
nter
db: add semi-colo
n
s
t
o SQ
L
statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
D
a
n Carpent
e
r
u
n
k
n
ow
n
_value: make it a
f
unc
t
i
o
n call
instead of a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Ca
r
p
e
nter
user_data: shift
code for
assignme
n
t
s
around a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carpente
r
leaks: check kme
m
dup() leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Carp
e
n
ter
d
eref:
derefe
r
en
c
ing uninitializ
e
d
war
n
ing
s
should
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-21
Dan Car
p
enter
db/function_
p
t
r
.
schema: add an
ind
e
x
a
s a speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-13
D
an Carpe
n
ter
s
truct
_
a
s
s
ignme
n
t:
move me
m
s
et() h
a
ndlin
g
to struct_
a
ssignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-13
Dan
C
arpe
n
ter
str
u
ct_as
s
ignment: hand
l
e struc
t
assignmen
t
s to better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpen
t
e
r
flow
:
gl
o
bal str
u
cts wi
t
hout an initial
i
zer are initiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-10
Dan Carpenter
h
e
lpe
r
:
i
ntroduce
g
et_param
_
num()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-01-06
Dan
Carpenter
dma_on_stack: ignore arrays which
are
a
para
m
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpente
r
sm
d
b
.
p
y: im
p
rovements to `smdb
.
py b
u
f_size` and `
s
mdb
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpen
t
er
flow: hide a bu
n
c
h
of th
e
unreac
h
able w
a
rnings un
d
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpen
t
er
kernel
.
sile
n
c
ed_functi
o
ns: ad
d
some more "asm goto
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
D
an Ca
r
pente
r
extra: assume inde
x
es are in bounds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
flow: fi
x
struct initializatio
n
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpenter
*new* check_array_con
d
ition
.
c: arrays can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan
C
arpenter
b
u
f_siz
e
:
s
tore ranges in the d
a
tabase instead of single
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
an Carpenter
strl
e
n: remove some bl
a
nk lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unrea
c
hable code: do
n
't warn about unreachable break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Carp
e
nte
r
unreachable code
:
don't warn about
empty stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpente
r
debu
g
:
in
t
roduce __smatch
_
b
u
f_s
i
ze_r
l
() which is
more
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
debug: add __smatch_memb
e
r_
n
ame()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n C
a
rpenter
ker
n
el,
d
b: ad
d
hweight() functions to the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Ca
r
penter
ke
r
nel, db
:
consid
e
r x = htonl(10)
a
nd
x
= 1
0
equivalent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n
Carpenter
i
n
tr
o
duce:
s
match_
d
a
ta/kernel
.
n
o
_inline_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
D
a
n C
a
rpenter
*
n
ew* a
d
d sm
a
tch_da
t
a
/
ke
r
nel
.
s
ilenced_f
u
nc
t
ions to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpen
t
er
comm
o
n_functions
.
c: ha
n
dle strl
e
n() and strnlen() bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Carpenter
access_ok_ma
t
h: restri
c
t this check t
o
--spa
m
m
y output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Carpenter
*
n
ew* check_cast_ass
i
g
n
.
c: check ca
s
t
ing a smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
D
a
n Carpen
t
er
check_de
b
ug: f
i
x crashing
b
ug on
p
rinting n
o
n-existant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan C
a
r
p
e
nter
buf_si
z
e
:
b
u
ffe
r
alloc
a
tions in the s
a
m
e
f
il
e
are n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Ca
r
penter
buf_siz
e
: ignore unknown array size
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carpenter
str
l
e
n
: record
s
tring lengths across f
u
nction cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
p
enter
s
t
rle
n
:
record
a
ssigned st
r
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
p
enter
strle
n
: ad
d
a comment a
n
d
r
ename some things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
a
rp
e
nt
e
r
strlen:
h
a
n
dle string l
i
terals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
r
penter
debug: introduce __sma
t
ch_strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
er
strlen:
introduc
e
g
e
t_implied_str
l
en()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpenter
ma
t
h: rev
e
rt accidentally com
m
it
t
e
d
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
buf_size: read a
range_list from the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
buf_
s
ize: store type_siz
e
in tw
o
tables the
same
a
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
bu
f
_s
i
ze: ma
k
e size_from_
d
b() wo
r
k
a
gain
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf_size, str
l
en:
s
ep
a
rate
b
u
f
_size and strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use
fuzzy_ma
x
to
wa
r
n about array overfl
o
w
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
math: fix get_fuzzy_
m
in/
m
a
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
u
f_siz
e
: r
e
pr
e
sent buffer s
i
ze
a
s a range
list
i
nstead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_size
:
handle places
t
hat
dynamica
l
ly alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
pe
n
ter
f
l
ow: introduce __in_function_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arp
e
nter
extr
a
, math: re
w
ork how fu
z
zy
m
ax is hand
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an C
a
rpenter
bu
f
_size: hand
l
e
devm_kmalloc(
)
allocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
kernel
.
ignored_macr
o
s: add R
T
_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
s
mdb: im
p
rove "where" outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
r
anges:
introduce r
l
_has_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Car
p
enter
helper: wo
r
k
a
round cras
h
ing bug in ge
t
_member_
n
am
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpe
n
t
er
loc
a
l_
v
a
lue
s
: p
u
ll
code in one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
chec
k
_sign
e
d: ignore things with nega
t
iv
e
n
u
m
ber of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow:
ignore structs and unions in set_u
n
set_to_z
e
ro
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
arpenter
m
o
d
ifi
c
ation_hooks: delet
e
a
blank li
n
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
e
n
ter
r
ecurse:
i
ntrod
u
ce has
_
inc_
d
ec()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
type_va
l
:
fix a build
w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: actually r
u
n t
h
e
co
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpe
n
te
r
smatc
h
: a
couple crashing
bugs on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
allow cha
r
to be
u
n
s
i
gned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n C
a
rpent
e
r
helper:
im
p
rov
e
is_e
r
ror_ret
u
rn()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
type_val: introduce storing struct
m
ember li
m
i
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an
Carpenter
data_
s
ource: lo
a
d where data comes from into the
d
atabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
.
g
i
tignore: ignore b
a
k
.
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
en
t
er
d
b
:
fixup_k
e
rnel
.
sh: say that w
e
only h
a
ve 6
4
CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: preserve unmerged s
t
ates
in the ->possib
l
e
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
db: gro
u
p f
u
nction pointer
r
e
t
ur
n
states together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
d
b
:
o
r
d
er the return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
d
b
: fixup_kernel
.
sh
:
ignor
e
timer_list functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpenter
db:
f
ixup_kernel
.
sh: remove
s
ome U
S
ER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Car
p
en
t
e
r
d
b: improve database debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Carpenter
smatch
.
h: shift some struct members
around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpenter
flow
:
clear_bu
f
f
e
r: revert par
t
o
f
c
ommit
that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nter
fl
o
w: re-write how stru
c
t
members
a
re
initia
l
ized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpen
t
er
sm
a
tch_
c
lear_buffer: memcpy() s
h
ould s
e
t the
destinati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpente
r
s
m
atch
_
clear_buffer: m
a
ke a functio
n
st
a
ti
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
smatc
h
_data/k
e
r
n
el
.
clears
_
argume
n
t: remove memse
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan
Carpe
n
ter
flow:
i
ntrod
u
ce
o
utside_of_functi
o
n() to fix
g
lobal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
db: kernel
:
ignor
e
i40e_
d
bg_n
e
tde
v
_ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Ca
r
penter
flow: s
e
t members to zero by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
db
,
extr
a
, user_
d
a
t
a: handle: *x = 1; re
t
urn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user
_
data:
remove k
m
e
mdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpe
n
te
r
use
r
_data: make a fu
n
ction
st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
co
n
taine
r
_of: people checking the return
v
alue of nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n
Carp
e
nter
helper: fix cra
s
hing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Da
n
C
a
rpenter
user_
d
ata:
m
ake a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n Ca
r
penter
ma
t
h: export get_const
_
value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
math:
hand
l
e bitwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handle
L
EFT_
S
HIFT (
a
<< b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpen
t
er
math: remove an impossible condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Da
n
Carpen
t
er
F
i
x --no-d
a
ta so it doesn't
s
pew database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carpenter
extra: fix
a
crash parsing i
n
va
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpent
e
r
s
izeof
:
f
i
x
t
yp
o
in error messa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next