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
smdb.py: improvements to `smdb.py buf_size` and `smdb.py where`
2013-12-20
Dan Carpenter
s
mdb
.
py: improvements to `s
m
db
.
py
buf_
s
ize` and `smdb
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
D
a
n
C
arpenter
flow: hide a b
u
nch of the unr
e
ac
h
able warnings
u
nder
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carpen
t
er
k
ernel
.
si
l
en
c
e
d
_function
s
: add some more
"
asm g
o
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-20
Dan Carp
e
nter
extra: assume i
n
dexes are
i
n bo
u
nds
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
flow: fix struct
i
nitialization bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
*new* check_arra
y
_co
n
d
iti
o
n
.
c
: arrays
can't be NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carpenter
buf_size: st
o
re ranges in the databa
s
e instead of sing
l
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
penter
s
t
rlen: remov
e
some blank lines
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unreachable code
:
don't warn
about
u
nr
e
ach
a
ble break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
unr
e
achable co
d
e: don't warn about
em
p
ty statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
debug: i
n
troduce __sma
t
ch_buf_size_rl() which is mo
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
D
a
n Car
p
enter
deb
u
g: a
d
d __
s
m
a
tch_
m
emb
e
r_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Ca
r
pent
e
r
kernel,
db: add hweight() functions to the
d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan C
a
rpenter
k
e
rnel, db: consid
e
r x = htonl(10
)
and
x
= 10 equiva
l
ent
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpenter
introduce: smatch_data/kernel
.
no_inline_funct
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-18
Dan Carp
e
nter
*
n
ew* add
s
match
_
data/k
e
rn
e
l
.
si
l
enced_f
u
nctions
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpent
e
r
co
m
m
o
n_functions
.
c
: handle s
t
rlen() a
n
d strnlen() be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
D
a
n
C
a
r
p
enter
ac
c
es
s
_ok_math: restr
i
ct this check to --s
p
a
m
m
y
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-17
Dan
C
arpenter
*new* check_cast_as
s
ign
.
c
: ch
e
ck casting a smaller
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
che
c
k_debug: f
i
x crashing bug
o
n print
i
ng
n
on-exis
t
ant
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpenter
b
u
f_size: buffer allocations
i
n t
h
e same f
i
le ar
e
n
o
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpente
r
buf_size: ignore
unkn
o
wn arr
a
y siz
e
s b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n Carpenter
s
t
rlen:
r
ecord
string lengths across functi
o
n calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
n
ter
strl
e
n: record assigned string
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
str
l
en: add a comment and
r
ename
s
ome things
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
strle
n
: handle string
lit
e
rals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: in
t
ro
d
uce __s
m
at
c
h_strlen(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
str
l
e
n
:
i
n
troduce get_im
p
lied_str
l
en()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
m
a
t
h
: r
e
vert accidentall
y
commit
t
ed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carp
e
nter
buf_size: read a
range_lis
t
from t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpent
e
r
buf_siz
e
:
store type_size in two
tables th
e
same
as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
: make size_from_db()
work
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_siz
e
, strlen: separate buf_size and
strlen into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
Carpenter
overflow
:
use f
u
z
z
y_max to warn about a
r
ra
y
overflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
an Carpenter
math: fix
get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan
Car
p
ent
e
r
buf_s
i
ze: represent buf
f
er size as a range
l
ist instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan
C
arpente
r
buf_size: h
a
ndle pla
c
es th
a
t d
y
namica
l
l
y
a
l
ocate someti
m
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
flow: introduce __i
n
_funct
i
on_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Car
p
enter
ex
t
r
a,
m
ath: rework
h
ow
f
uzzy max is handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
buf_
s
ize:
h
andle devm_kmalloc() allocat
i
ons
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpenter
ker
n
el
.
ignored_mac
r
os: add RT_ASSE
R
T
a
nd S
K
D
_
ASSER
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Ca
r
penter
s
m
db:
i
m
p
ro
v
e "where" out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
nter
ranges: introduce rl_has_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rp
e
nter
helper: work around crashi
n
g
b
ug in g
e
t_member
_
n
a
me()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan C
a
rpenter
loc
a
l_
v
alues: pull
code
i
n
one indent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
t
e
r
check_sig
n
ed: ignore thing
s
with negative number of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
flow: i
g
nore structs
and union
s
in set
_
unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carpen
t
er
modific
a
tion_hooks: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Ca
r
pe
n
ter
recurse: intro
d
uce has_inc_dec(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
te
r
t
ype_val: fix
a
build
w
arn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: actua
l
ly run the co
d
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan
C
a
rpenter
smatch
:
a
c
o
uple crashin
g
bugs on invalid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
t
e
r
allow char to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Car
p
en
t
er
helper
:
imp
r
ove
is_
e
r
ror_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpe
n
ter
t
ype_val: introduce sto
r
i
ng struct m
e
m
ber limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpenter
d
a
ta_source: loa
d
wh
e
re dat
a
c
o
m
es from into
t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Ca
r
pent
e
r
.
g
i
tignore: i
g
nore bak
.
smatc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
ar
p
enter
d
b
: fixup_ke
r
n
el
.
s
h
:
s
ay that
w
e o
n
ly have 64 CPUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db
:
preser
v
e unm
e
rged
s
tates
in th
e
->possible
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db:
grou
p
functi
o
n poi
n
ter retu
r
n
s
tate
s
together
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: order the retur
n
_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
db: fixu
p
_kernel
.
sh: ignore timer_list functi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
a
r
penter
db: fixup_
k
ern
e
l
.
sh
:
remove some USER_DATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpenter
d
b
: im
p
ro
v
e
d
ataba
s
e debugg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
s
match
.
h: shift some st
r
uct membe
r
s around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpe
n
t
e
r
flo
w
:
clear_buffer
:
revert p
a
rt of commit that u
s
es
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
flow: re-write how struct memb
e
rs
a
r
e
initiali
z
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Car
p
enter
smatch_clear_buf
f
er: memcpy() should se
t
the
d
estination
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carp
e
nter
sm
a
t
c
h_cle
a
r_buffer: make a
f
u
ncti
o
n static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Ca
r
penter
smatch_
d
ata/kernel
.
c
lears_argu
m
ent: remove mem
s
et()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Car
p
enter
flow: int
r
oduce outs
i
de_
o
f_func
t
i
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: ignore i4
0
e_dbg_
n
etdev
_
ops_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpente
r
f
l
ow: set
m
embers t
o
zer
o
by
default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
db, extra,
user_data:
h
and
l
e: *x =
1; return
x
;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpe
n
t
e
r
user_data: re
m
ove k
m
emdup_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n Carpenter
user_data: make
a
fun
c
tion static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpen
t
er
container_of
:
people checking the return value
o
f n
l
a_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan
Carpenter
helper:
f
i
x
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
Dan Ca
r
pe
n
ter
user_d
a
ta: make a
f
u
ncti
o
n st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpen
t
er
math:
expo
r
t get_const_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
rpenter
m
ath: hand
l
e bitwise O
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: h
a
ndle
L
E
FT_SHIFT (a << b)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: remove an impos
s
ible
c
ondition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Da
n
Carpenter
Fix -
-
no-d
a
ta so it d
o
esn't spe
w
database errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
ext
r
a: fix
a cra
s
h parsing invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Carpenter
sizeof: fix
t
ypo
in
e
rror message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan C
a
rpente
r
sizeof: c
o
mplain if code does
s
i
zeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
t
y
pe: let
g
et_rea
l
_ba
s
e_t
y
p
e() t
a
ke NULL
p
arameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan
C
a
rpenter
db: rename add_r
e
turned_st
a
te_callback
(
) =
>
add_spli
t
_
return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
r
osenberg info leaks:
c
heck __co
p
y_t
o
_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
rosenberg
in
f
o leak
s
: use PARAM_CLEARED d
a
ta from
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpe
n
ter
rosenb
e
rg inf
o
l
e
aks
:
use stripped data
f
rom copy_to_user()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
r
pen
t
er
rosen
b
erg info leaks: make check_members_ini
t
i
a
l
ized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
ar
p
enter
e
xtra: handle "if (
a
& 0x1)" conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
nter
flow:
fake assigns better for nested
structs and array
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
helper:
get_
m
ember_name() c
o
uld store
u
nions (sort of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
en
t
er
us
e
r_data
:
fix
c
rashi
n
g bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
m
a
th:
improv
e
how casts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n Carpenter
ma
t
h:
i
ntroduce
g
et_absolute_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
te
r
math:
improve
h
o
w
bitwise ANDs
are handl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next