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
slist, stree: add overwrite_sm_state_stree_stack() to header
2013-12-11
Dan Carpe
n
ter
strlen
:
record
s
tring lengths
a
cross
f
u
n
ction calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Ca
r
penter
strlen:
r
e
c
ord assigne
d
st
r
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Ca
r
p
e
nter
strle
n
: add
a
c
o
mmen
t
a
nd re
n
ame som
e
thi
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpenter
str
l
en: ha
n
dle
st
r
ing li
t
erals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
debug: i
n
tr
o
duce _
_
smatch_s
t
rlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Carpenter
strlen:
i
ntroduce get_implied_strl
e
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Da
n
C
a
rpenter
ma
t
h: revert
a
cc
i
dentally committ
e
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n Carp
e
nter
buf_size: r
e
a
d a ra
n
ge_list from the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
D
a
n
Ca
r
penter
b
uf_size:
store
t
ype_size
i
n two
tab
l
es the same as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size: make size_from_db() work a
g
a
i
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carp
e
n
t
er
buf_size, strle
n
:
separate buf_siz
e
and strle
n
int
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use fuzzy_max to
w
arn
about array ov
e
rflows
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
penter
m
a
th: fix get_fuzzy_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_
s
i
z
e
:
represent bu
f
fer size as a range
l
ist i
n
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
u
f
_size: handle places that dynami
c
ally alocate sometimes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n
Carpenter
flow
:
introd
u
ce
_
_in_funct
i
on_def
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
extra, math: rew
o
r
k how fuzzy ma
x
is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-29
D
an Carp
e
nter
buf_size: handle d
e
vm_kmalloc()
allocations
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
ke
r
nel
.
ig
n
ored_macros
:
add RT_ASSERT and SKD_ASSERT
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
D
a
n
Carpenter
smdb: im
p
rove "where"
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpenter
r
a
nges: intro
d
uce
r
l_has_sval(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Da
n
Carpente
r
helpe
r
: work around crash
i
ng bug
i
n get_m
e
mber_n
a
me(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-28
Dan
C
arpenter
local_value
s
: pu
l
l code in o
n
e
inde
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpent
e
r
check_sign
e
d: ignor
e
things with n
e
gative numb
e
r o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an Carpent
e
r
f
l
o
w: ignore
structs
a
nd unions in
s
et_unset_to_zero
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
an
Carpenter
modific
a
tion_hooks: delete a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
recurse: i
n
troduce
h
as
_
i
n
c_de
c
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan C
a
rpenter
type_val: f
i
x a
b
u
i
l
d warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
type_val: ac
t
u
ally run the code
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n
Carp
e
nter
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 Carpe
n
te
r
allow char
to be unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n
C
arpenter
helper: improve is
_
error_return()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
pent
e
r
typ
e
_val: introduc
e
storing struc
t
member limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
Carpen
t
er
data_source: lo
a
d w
h
ere data comes from
i
nto
t
he da
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan Ca
r
penter
.
git
i
gnore: ign
o
re bak
.
sma
t
c
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpenter
db: fi
x
u
p
_ke
r
nel
.
s
h: say
t
hat we
only have
6
4
C
PUs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Carpenter
db: preserv
e
unme
r
ged states in the ->possible better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpen
t
e
r
db: grou
p
function
p
oi
n
ter retu
r
n states tog
e
ther
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
a
rpe
n
ter
db: order t
h
e return_states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpen
t
er
db: fixu
p
_kernel
.
sh: ignor
e
timer_list fu
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carp
e
n
t
e
r
d
b
: fi
x
up_kernel
.
sh: remove
some
U
SER_
D
ATA calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpen
t
er
db: improve
da
t
a
base debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-11-14
Dan Car
p
enter
sma
t
ch
.
h:
shift some st
r
u
c
t members around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpent
e
r
f
lo
w
: clear_buffer: reve
r
t p
a
rt of
commit that uses
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpent
e
r
flow
:
re-
w
ri
t
e how struct membe
r
s are initialized
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_c
l
ear_buffer:
memcpy(
)
sh
o
uld
s
et the
d
esti
n
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_clear
_
buffer: make a
function
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
s
match_data/kernel
.
c
lears_a
r
gument: remove memset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-10-08
Dan Ca
r
penter
flow: introduce outside_of_function() to fix global
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carp
e
nter
db: ker
n
el:
ig
n
ore i40e_db
g
_netdev_
o
ps_write()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
flow: se
t
member
s
to zer
o
by
defaul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
D
an Carpent
e
r
db,
e
xtra, user_data: handle: *
x
= 1; r
e
turn x;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carp
e
nte
r
user_data: remove km
e
mdup_use
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpenter
user_dat
a
: make a function static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpenter
container_of: people checking t
h
e return val
u
e
o
f
nla_data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-12
Dan Carpenter
helper: fix crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-10
D
an C
a
rpen
t
er
u
s
er
_
d
a
ta
:
make a fu
n
ctio
n
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arp
e
nter
math: export get_const_v
a
lue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
D
a
n
C
arpenter
math
:
ha
n
dle
b
itwise OR
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan Carp
e
nter
math: handle
L
EFT_S
H
IFT (a << b
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Carp
e
nter
m
a
th: remove an impossibl
e
c
o
ndition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-09-04
Dan Carpenter
Fix --n
o
-data so i
t
doe
s
n't spew database
errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
D
an Carp
e
n
ter
extra:
f
ix
a
crash parsing
i
nvalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpe
n
te
r
sizeo
f
:
f
ix typo
in error m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Car
p
enter
sizeof: complain i
f
code does sizeof(4)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-08-15
Da
n
Carp
e
nter
t
y
pe: let get_real_base_type() take NUL
L
parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpent
e
r
db: rena
m
e
a
d
d_returned_s
t
at
e
_c
a
llba
c
k
(
)
=> add
_
split_return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Car
p
enter
ro
s
enbe
r
g info le
a
ks: check _
_
cop
y
_to_us
e
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
an Ca
r
penter
ros
e
nberg info leaks: use
P
A
RAM
_
C
L
EARED
d
a
t
a from the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
n
ter
rosenberg
i
nfo
l
eaks: use stripped data from co
p
y
_t
o
_user
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
rosenberg info l
e
a
k
s: make check_me
m
bers_initi
a
lized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n Ca
r
penter
ex
t
r
a
: han
d
le "if (
a
& 0
x
1)" condit
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
C
arpente
r
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
h
e
lper: get_memb
e
r
_
name() could store unions (so
r
t of)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_data:
f
i
x crashin
g
bug
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpenter
math: improve how casts are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
Carpen
t
er
math: introdu
c
e
g
e
t_abso
l
ute_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: imp
r
ove how
b
i
t
wise ANDs are h
a
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpen
t
er
kernel d
a
ta/: upd
a
t
e
to recent linux
-
next (3
.
11-
r
c1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan C
a
rpe
n
ter
db: d
e
c
l
a
r
e strnlen()
a
s r
e
turning "0-s32m
a
x
[
<
=
p1]"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan
C
a
r
pe
n
t
e
r
use
r
_data: export is_
u
ser_macro(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carp
e
nt
e
r
user
_
d
ata: mark ntohl
(
)
data as
u
s
er
_
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpen
t
er
u
ser_data
:
improve tracking set
vs p
a
s
sed in user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-10
Dan Ca
r
pente
r
implied: remove
some un
u
sed code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-08
Dan Car
p
en
t
er
ch
e
ck_overflow: sile
n
ce som
e
"not allo
c
ating enough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Ca
r
p
e
n
t
er
comparison: white sp
a
ce cl
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
e
x
tra
:
handle binop
comparis
o
ns better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan Car
p
enter
db
/
fixup_kernel
.
sh: filter ->read/
w
r
i
te() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-05
Dan Car
p
enter
function_p
t
r: handle scope
of function pointers be
t
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-04
Dan Carpenter
smat
c
h
:
add
-
-
debug=check_name option to debug only
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n
Carpenter
comp
a
rison: fix breakag
e
caused by movin
g
to var_sym_lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Da
n
Carp
e
nter
c
ompari
s
on
:
cle
a
nup f
i
rst
_
sym() and rena
m
e to
vs
l
_to_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-03
Dan Carpenter
comparison: cleanup: get rid of sym pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-07-02
Dan
Ca
r
p
e
n
t
er
compa
r
ison:
t
rack
modific
a
tio
n
s
better using v
a
r_sym_lists
commit
|
commitdiff
|
tree
2013-07-02
D
a
n Carpenter
var_sy
m
:
introduce some helper functi
o
ns for handl
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
de
b
ug: add __smatch_states("regist
e
r
_
com
p
arison")
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
debu
g
:
update debug
to handle the
new co
m
parison
f
eat
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
c
o
m
parison: inherit lin
k
s when the comparison
i
s set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-29
Dan C
a
rpenter
compari
s
on: par
t
ially fix
how link
s
a
re updated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-28
Da
n
C
arpenter
d
b
:
tr
a
ck som
e
m
o
r
e
=
=
p1 return values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next