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
kernel, db: add hweight() functions to the database
2013-12-19
D
an C
a
rpenter
k
e
r
nel
,
db: ad
d
hwei
g
ht() functions
to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Dan Carpen
t
er
kern
e
l, db
:
consi
d
er x = h
t
onl(10) and x
=
10 equivalent
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-19
Da
n
Carp
e
nter
int
r
odu
c
e: sm
a
tch_data/ke
r
nel
.
no_inline_f
u
n
c
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-18
Dan C
a
rpenter
*
n
ew* add smatc
h
_
data/k
e
rnel
.
sile
n
ced_fun
c
t
i
ons t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan C
a
r
p
enter
commo
n
_functions
.
c: handle s
t
rl
e
n() a
n
d
s
trnle
n
() b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Ca
r
penter
access
_
ok_math: restric
t
t
hi
s
check to --sp
a
m
m
y
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-17
Dan Carpenter
*
new* check_cast_assign
.
c:
c
heck castin
g
a smaller
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-13
Dan Carpenter
check_
d
ebug: fix cra
s
h
ing
b
ug
o
n printing non
-
existant
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpent
e
r
buf_size: buffer alloc
a
tion
s
in
t
he same fil
e
are not
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
Dan Carpe
n
te
r
buf_si
z
e: ign
o
r
e u
n
k
n
own array
s
izes better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-11
D
a
n
C
arpenter
strlen: record strin
g
le
n
gths ac
r
oss function
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
penter
st
r
le
n
: record assigne
d
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
s
trlen: add a comment and rename some th
i
n
g
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carpenter
str
l
en: handle string l
i
terals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
d
ebug: introduce __
s
match
_
strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
strlen: introduc
e
get
_
im
p
l
ied_strl
e
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nte
r
math: revert accide
n
tally committed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpen
t
e
r
buf_siz
e
:
read
a
r
ange_
l
is
t
fro
m
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_
s
ize: st
o
re type_siz
e
in two
t
ables the sam
e
as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
b
uf_size: make size_from_d
b
() w
o
rk again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
nter
buf_
s
ize
,
strl
e
n: separate buf_siz
e
and st
r
l
e
n i
n
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
overflow: use fuzzy_max to w
a
rn
ab
o
ut arr
a
y
o
verflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpenter
math:
f
ix
g
et_fuzzy_mi
n
/max(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpente
r
b
u
f
_
size: represent b
u
ffer size as a
range list inste
a
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpe
n
ter
bu
f
_size: handle places th
a
t
d
yn
a
mical
l
y alocate so
m
etimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Ca
r
pen
t
er
f
l
o
w: introduce __in_f
u
nction
_
d
ef
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math:
r
ework how fuzzy ma
x
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan
Ca
r
pe
n
t
e
r
buf_size: handle
devm_kmalloc(
)
allocations
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
kernel
.
ignored_macros: ad
d
RT_AS
S
E
R
T
a
nd
S
KD_ASS
E
RT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpen
t
e
r
s
m
d
b: improve "where" output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Car
p
en
t
e
r
range
s
: in
t
roduce rl_has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
h
e
lper: work around c
r
a
s
hin
g
b
ug in get_
m
embe
r
_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n Carpenter
lo
c
al_values: pull code
in one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
rpent
e
r
check_signe
d
: ignore
t
hings wi
t
h negative number of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpe
n
ter
f
l
o
w
: i
g
nor
e
structs and uni
o
n
s in
set_unset_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
modifica
t
ion_hooks: delete a
blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
e
r
recurse: introduce
has_inc_dec()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type
_
val: fix
a
build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
typ
e
_val: actually run the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
smatch: a cou
p
le crashing bugs
on
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
allow char to be u
n
s
i
gned
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Ca
r
p
e
nt
e
r
helper: i
m
prove is_error_r
e
tu
r
n()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Car
p
enter
type
_
val: introduce s
t
oring struct memb
e
r
l
imi
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpente
r
data_source
:
load where data comes from i
n
to the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan C
a
rpe
n
ter
.
g
itignore: ignore
bak
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carp
e
nter
db: fix
u
p_k
e
r
n
el
.
sh: say that we only have 64
CPUs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
db: preserve unmerged
s
t
a
tes in
the ->po
s
sible b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Ca
r
p
e
nter
db
:
group funct
i
on
p
ointe
r
return states togethe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db: or
d
e
r the retu
r
n_states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
an Carpenter
db:
f
i
xup_kern
e
l
.
sh: ignore
t
imer_list
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
a
n Carpenter
db: fixup_kernel
.
sh: remove some US
E
R_
D
ATA calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Da
n
Carpenter
d
b
:
impr
o
ve database debuggi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
D
an
C
a
r
penter
smatch
.
h:
s
h
ift s
o
m
e st
r
uct members aroun
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpent
e
r
flow: cle
a
r_buff
e
r
:
revert part of commit that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n
C
arpenter
flo
w
:
r
e
-
write how struct members a
r
e initialized
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
smatch_clear_buffer: memcpy() shoul
d
s
e
t the destination
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
D
a
n Carpent
e
r
smatch_clea
r
_buffer: make a
f
un
c
tion s
t
atic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpe
n
t
er
smatch_data/kern
e
l
.
clears_a
r
gume
n
t: rem
o
v
e
me
m
set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan C
a
rpenter
flow: introd
u
ce
o
uts
i
de_of_
f
unction() to fix
global
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpenter
d
b
: kernel: ignore i40e_dbg_netdev_
o
ps_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Ca
r
p
e
nter
flow: set memb
e
rs to ze
r
o
by defa
u
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpenter
db,
extr
a
, user
_
dat
a
: handle: *x = 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
u
ser_data: remove km
e
mdup_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_dat
a
: make a function st
a
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
D
a
n
C
arpenter
contain
e
r_of: p
e
ople check
i
ng the r
e
turn
va
l
ue of nla_data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
Dan
Carpent
e
r
helper: fix
c
r
ashin
g
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_d
a
ta:
make a function static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
math: e
x
port get_const_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Car
p
en
t
er
math
:
handle
b
itwi
s
e OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpente
r
math: handle
L
EFT_SHIFT
(
a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carpenter
m
a
th: remove an impo
s
s
i
ble
c
ondition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
D
a
n Carpenter
F
ix
--no-data so
i
t
doesn't sp
e
w da
t
aba
s
e errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n
Carpenter
extr
a
:
fix a c
r
ash par
s
ing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
a
n Car
p
enter
siz
e
o
f: fix typo
i
n
error mess
a
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
a
rp
e
nter
si
z
eof: complain if c
o
d
e does sizeo
f
(4
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
C
arpenter
typ
e
: let get_real_b
a
se_type() take NUL
L
p
ar
a
met
e
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpenter
db: rena
m
e add_returned_state
_
callback() => add_split_retur
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
ar
p
ente
r
ros
e
n
berg inf
o
leaks: check
__c
o
py_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
ros
e
nberg
i
n
fo leak
s
: use PARAM_CLEARED data from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpe
n
ter
ros
e
nberg info le
a
k
s
:
use str
i
pped data
fr
o
m copy_t
o
_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Ca
r
penter
ro
s
enberg info
leaks:
make check_members_initialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Da
n
Car
p
e
n
ter
extra:
ha
n
dle "if (a & 0x1)" conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
Carpenter
flow: fak
e
assig
n
s
b
et
t
er f
o
r nested structs
a
nd array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
Carpenter
he
l
per: get_member_name() could sto
r
e u
n
i
ons (sort of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpente
r
user_
d
a
t
a:
f
ix crashing
b
ug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: improve how cas
t
s
are h
a
nd
l
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pente
r
m
a
th: i
n
trod
u
ce get_absolute_r
l
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an
C
a
rpent
e
r
math: impr
o
ve h
o
w
b
i
t
w
i
se ANDs are
h
andled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
kernel data/: update to
r
e
c
ent l
i
nux-next (3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nter
db: d
e
clar
e
strnlen() as returning "0-s32m
a
x[<=
p
1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpenter
user_
d
ata
:
export is_user_macr
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
a
n
Ca
r
p
e
nte
r
user_data: mark ntohl()
d
ata a
s
user_da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
ter
user_data: im
p
ro
v
e
t
racking
set vs pass
e
d in user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
D
a
n Ca
r
penter
i
m
p
lied:
r
emove some
unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan Carpenter
check_overflow: silen
c
e
so
m
e "no
t
al
l
ocating
enough
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan
C
arpente
r
c
omparison: white space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan
C
arpenter
extra: handle bin
o
p comparisons better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Da
n
Carpen
t
er
db/fix
u
p_ker
n
el
.
sh
:
fi
l
ter -
>
r
e
ad/write() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan
C
arpent
e
r
function_pt
r
: h
a
ndle scope of
f
unctio
n
poi
n
ters better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-04
Dan Car
p
enter
s
match: add
-
-
debug=ch
e
c
k_name option
to debug only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next