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* add smatch_data/kernel.silenced_functions to silence common noise
2013-12-18
D
an Carpenter
*new*
ad
d
sma
t
ch_
d
ata/kern
e
l
.
sil
e
n
c
ed_functions to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Da
n
Car
p
enter
c
o
mmon_functio
n
s
.
c: h
a
ndle strle
n
() and strnlen
(
) better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
D
an Carpenter
a
ccess_ok_math: rest
r
ict
thi
s
check
t
o --s
p
ammy outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpe
n
t
er
*new* check_cast_assign
.
c: check castin
g
a small
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Ca
r
penter
check
_
debug: fix cr
a
sh
i
ng bug on
p
rinting non
-
existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpe
n
ter
buf_size: buffer allocations in the same
f
ile are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
an Carpenter
buf_s
i
ze: ignore u
n
kn
o
wn
a
r
r
ay s
i
zes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Da
n
Carpente
r
strlen: record st
r
ing
l
eng
t
hs acro
s
s
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
e
n
ter
str
l
en: record assi
g
ned strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
st
r
len:
a
dd a comment and
rename some things
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
strlen: handle string literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
debu
g
: introduce __smatch_strle
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
trlen: introduce
get_im
p
li
e
d_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
a
rpen
t
er
math: reve
r
t
acci
d
enta
l
ly committed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_
s
ize: read a range_list from t
h
e database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
buf
_
size
:
st
o
re type
_
size i
n
two tables the same as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
buf
_
size:
ma
k
e size_from_db(
)
work
a
gain
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Car
p
en
t
er
b
u
f_s
i
z
e
, strlen: separate
b
u
f
_siz
e
a
n
d
s
trlen int
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflo
w
: u
s
e f
u
zzy
_
max to w
a
rn about arra
y
overfl
o
ws
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
m
ath
:
fix ge
t
_fuzzy_min/ma
x
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
an C
a
r
penter
buf_size:
represent buffer s
i
ze as
a
ra
n
ge
l
ist
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
Carpenter
buf_siz
e
:
handle places that dynamically aloca
t
e
s
o
metimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
f
l
ow: introd
u
c
e _
_
in_f
u
nction_def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carpe
n
ter
extr
a
, math
:
rework how fuzzy max is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
bu
f
_size:
h
andle devm_kmalloc()
a
llocation
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpente
r
ker
n
el
.
ignored_macros: add RT_A
S
SERT and
SKD_ASSE
R
T
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan
Carpenter
smdb: improve "where" outp
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
range
s
:
introduce rl_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
helper: work around c
r
as
h
ing bug
i
n
get_m
e
mber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n C
a
rpe
n
ter
local_values: pull code in one inden
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
ch
e
c
k
_
s
i
gned: ign
o
r
e things with negative numb
e
r of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
e
r
fl
o
w: ignore structs and unions in set_
u
nset
_
to
_
z
ero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
modifi
c
ation_hooks
:
delete a blank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
enter
recurse: introduce ha
s
_inc_d
e
c(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carpe
n
ter
typ
e
_val: fix a bui
l
d warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
type_val
:
actually run t
h
e c
o
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Da
n
Carpenter
s
m
atch: a
couple c
r
as
h
ing b
u
gs on inv
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
allow char to be unsigned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpenter
helper: improve i
s
_error_return
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
type_va
l
: in
t
roduce storing struct member
limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
data_source: load where d
a
t
a
comes f
r
om into the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpent
e
r
.
gitignore: ignore bak
.
smatc
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
d
b:
f
ixup_kernel
.
sh: say t
h
at we only ha
v
e 64 CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: preser
v
e unmerg
e
d states i
n
the ->p
o
s
s
ible bet
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arpenter
db: group function p
o
inte
r
return state
s
t
ogeth
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: order the ret
u
r
n_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpent
e
r
d
b
:
f
i
x
up_kernel
.
s
h
:
ignore
time
r
_list functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpe
n
ter
db: fix
u
p_kernel
.
sh
:
remove some USER
_
D
ATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan
C
arpente
r
db: improve database
d
ebu
g
ging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
smatch
.
h
:
shift so
m
e struc
t
members
a
r
o
und
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
D
a
n Carpenter
flow: clear_buffer:
revert part
o
f commit that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
ter
flow: re-write h
o
w
struct membe
r
s are initi
a
li
z
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatc
h
_clear_buff
e
r: memcpy() should se
t
the de
s
t
ination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
sma
t
c
h
_
clear_buffer: make a functio
n
static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_data
/
kernel
.
clears_a
r
gume
n
t: remove m
e
m
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
D
an
C
a
rpenter
flow:
introduce
o
utside_of_function() to fix global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
d
b
: kernel:
ignore i
4
0e_dbg_ne
t
de
v
_ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
C
arpenter
f
l
ow: s
e
t members to
zero by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan C
a
rpenter
db, extra, user_data
:
h
a
n
d
le: *
x
= 1; return
x
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpenter
user_data: remove kmemdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpen
t
er
user_data: make a
f
u
nction stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpente
r
container_of: people che
c
king the return value of nla_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Da
n
Carpenter
helper: fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan
C
arpenter
user_
d
ata:
m
ak
e
a funct
i
on s
t
a
tic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpe
n
ter
math: export get_con
s
t_
v
alu
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nter
mat
h
: handl
e
bitwis
e
OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
math: handl
e
LEFT_SH
I
FT
(a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan C
a
r
penter
ma
t
h: re
m
o
v
e an impossible conditi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
an Ca
r
penter
Fi
x
--no
-
da
t
a
s
o it doesn't spew database
err
o
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
Ca
r
p
e
nter
extra: fix a
c
ra
s
h
p
arsin
g
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carp
e
nter
sizeof: fix typo in error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
sizeof: comp
l
ain if code does sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
Carpen
t
er
type: let get_rea
l
_base_type() take N
U
L
L parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpent
e
r
db: rename add_returned_sta
t
e_ca
l
lback(
)
=> add_split_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carpenter
ro
s
e
nberg i
n
fo
l
e
ak
s
: check __
c
opy_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
C
arpen
t
er
r
o
sen
b
erg info leaks: use
PARAM_CLEARED dat
a
from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
C
a
rpenter
ros
e
n
b
e
r
g i
n
fo leaks: use
s
trippe
d
dat
a
from copy_to
_
u
s
e
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Carp
e
nter
rose
n
berg info lea
k
s
:
make che
c
k_
m
em
b
er
s
_initializ
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: handle "if (a & 0x1)" con
d
i
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
flow: fake assigns b
e
tter
fo
r
nested stru
c
t
s
and array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
helper: get_mem
b
er_name()
c
ould
s
tore unions (sort of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
u
s
er_data
:
fi
x
crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
penter
math:
i
mpr
o
v
e
ho
w
casts
are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
n
ter
ma
t
h
:
introduce get_abso
l
ute
_
rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nt
e
r
math: i
m
prove how bitwise AN
D
s a
r
e handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
te
r
kernel
d
a
ta/: update to
recen
t
linux-next (3
.
1
1
-
r
c1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
n
ter
db:
d
e
clare
s
t
r
n
len()
a
s
return
i
ng "0-s32m
a
x[<=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pente
r
user_data: export is_user_m
a
c
r
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
us
e
r_
d
a
ta: m
a
rk ntohl() data as user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
r
p
e
nter
user_data:
i
mprove track
i
ng set vs passe
d
in user
d
at
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
D
a
n
Carpe
n
ter
implied: remove
s
om
e
unused
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan
Carpente
r
che
c
k_overfl
o
w: s
i
lence some
"
not allocating enough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan Car
p
enter
c
ompari
s
o
n:
w
hite space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
D
an C
a
rpenter
extra
:
handle b
i
nop comparisons
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Car
p
enter
db/fixup_kernel
.
s
h:
fil
t
er ->
r
ead/writ
e
() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Carpenter
function_ptr: han
d
le
s
cope
of funct
i
on pointers bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpen
t
er
s
m
atch: add --debug=check_name option to deb
u
g only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpenter
comparison
:
fix br
e
akage caused by mov
i
ng to
v
ar_sym_lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Da
n
Car
p
e
n
ter
comparison:
cleanup first_
s
ym()
and rename to vsl_to_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpe
n
ter
c
o
mp
a
rison:
c
l
eanup: get
rid o
f
sym
p
ointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next