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
states, stree: change true_stack and false_stack to stree
2013-12-06
Dan
C
arpenter
st
r
len
:
h
a
n
dle
s
trin
g
literals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
de
b
ug:
i
n
troduce
_
_smatch_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpe
n
ter
strle
n
: in
t
roduce get_implied_strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
math:
r
evert accidentally
c
ommit
t
ed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_size:
rea
d
a range_list f
r
o
m
the
d
ataba
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
bu
f
_s
i
ze: store typ
e
_size in two tables
the sa
m
e a
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
buf_
s
ize: make si
z
e_from_db() wo
r
k again
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan
C
arpe
n
ter
buf
_
siz
e
,
strlen
:
separate buf_si
z
e and strlen into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan Carpenter
overflow: use
f
uzzy_m
a
x to warn
about array
o
verflows
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
rpen
t
er
m
ath
:
fix get_fuzzy_min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-12-06
Dan C
a
r
penter
buf_
s
iz
e
: represent buffer size as a range lis
t
i
nst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carpenter
b
u
f_
s
ize: handle
places t
h
a
t
dynamica
l
ly alocate sometimes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Dan Carp
e
nter
flow: in
t
roduce __in_funct
i
on
_
def
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
Da
n
Carpenter
extra
,
math:
r
ework
how fuzzy max i
s
h
a
ndl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-29
D
a
n Carpenter
b
uf
_
size
:
handle devm_kmalloc() allocation
s
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpe
n
ter
kernel
.
i
g
nored_ma
c
ros: add RT_ASSE
R
T an
d
SKD_ASSERT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
smdb: improve "
w
here"
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
D
an Carpenter
range
s
:
introduce r
l
_
has_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carpenter
help
e
r: work
a
round crashin
g
b
u
g in g
e
t
_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-28
Dan Carp
e
nter
loca
l
_values: pul
l
c
ode
i
n one indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
en
t
er
check_sig
n
ed
:
ignore
things with
negativ
e
nu
m
b
e
r of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
flow: ign
o
re structs and unions in s
e
t_uns
e
t_to_zero
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carp
e
n
t
er
mod
i
fication_hooks: delete a
blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpenter
re
c
urse
:
i
n
t
roduce has_i
n
c_de
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Car
p
ent
e
r
ty
p
e
_val: fix a build warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
Dan Carpen
t
er
type_val: a
c
tually run the code
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-22
D
a
n Carp
e
nter
smatch: a couple cr
a
shing bugs on inv
a
l
id
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Da
n
Ca
r
penter
al
l
ow
char to be u
n
signed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan
C
arp
e
nter
hel
p
e
r
: i
m
prove is_err
o
r_r
e
turn()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpenter
type_val:
intr
o
d
uce s
t
or
i
ng struct member limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
a
n Carpen
t
er
da
t
a_source
:
load where d
a
ta comes f
r
o
m into the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
.
gitignore: ignore ba
k
.
smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carp
e
nter
db: fi
x
up
_
kernel
.
sh: say that we only have 64 CP
U
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
D
an Carpente
r
db:
p
r
eserve unmerged states in the
-
>pos
s
ible
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpenter
db: g
r
oup
f
unction point
e
r
r
eturn states together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-21
Dan Carpen
t
er
db: order the return_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
.
s
h: ignore timer_lis
t
funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
D
an Carpenter
db:
fixup_ke
r
nel
.
sh: remove some USER
_
DA
T
A calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-20
Dan Carpen
t
er
db: improve database d
e
bug
g
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-11-14
Dan
C
arpenter
smatc
h
.
h: shift som
e
struct membe
r
s
a
roun
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-25
Dan Carpen
t
er
flow:
c
lear_buf
f
e
r
: rever
t
pa
r
t
o
f
c
o
mmi
t
that uses
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan C
a
rpenter
flow: re-w
r
ite ho
w
s
truc
t
m
e
mbers are initialize
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan Carpenter
smatch_clear_bu
f
fer
:
m
e
mcpy() sho
u
ld set t
h
e dest
i
nation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Dan
Ca
r
penter
smat
c
h_cle
a
r_buffer: make a functi
o
n static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-11
Da
n
Carpenter
s
m
atch_data/ker
n
el
.
c
l
e
a
r
s_argument:
r
emove memse
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-10-08
Dan Car
p
enter
flow: i
n
troduce outside_of_function() to fix
gl
o
ba
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-17
Dan Carpente
r
db
:
kernel: ig
n
ore i4
0
e_dbg_netdev
_
ops_write()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
Carpent
e
r
flow: set members to ze
r
o
b
y d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Da
n
Carpenter
db, extra, user_data: handle: *x = 1; return x;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan
C
arpe
n
ter
us
e
r_data: r
e
mo
v
e
k
me
m
dup_user
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpe
n
ter
user_data: mak
e
a
f
unction
s
tatic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-16
Dan Carpent
e
r
con
t
ainer_of: people checking the return value
of nla_da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-12
D
a
n
Carpenter
helper
:
fix crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-10
Dan Carpenter
user_data: make a fun
c
tion static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
Car
p
enter
m
ath: export
g
et_const_value
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Da
n
Carp
e
n
t
er
math: h
a
ndl
e
bitwi
s
e OR
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
a
r
penter
math: handle
L
EFT_SH
I
FT (a << b)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-05
Dan
C
arpenter
m
a
th: remove an im
p
ossible c
o
n
d
ition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-09-04
Dan
C
ar
p
e
n
ter
F
ix --
n
o-data so
it
doe
s
n'
t
spew
da
t
ab
a
se errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
ext
r
a:
fi
x
a
c
rash par
s
ing i
n
valid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
D
an
C
arp
e
nter
sizeof: fix typo in er
r
or me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan Carpenter
siz
e
of: complain if
c
od
e
doe
s
sizeof(4)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-08-15
Dan
C
ar
p
enter
type: l
e
t get_real_ba
s
e_type()
t
ake NULL
p
a
r
a
meters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-18
Dan Carpente
r
db: rename add_return
e
d
_sta
t
e
_callback() => ad
d
_
s
pli
t
_return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
Carpenter
rosenberg
inf
o
leak
s
: check
_
_c
o
py_to_us
e
r(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan C
a
rpenter
rose
n
berg info le
a
ks: use PARAM
_
CLEARED d
a
ta
fr
o
m the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan
C
arpenter
rosenberg info leak
s
: use stripped
d
ata from co
p
y
_to_user()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpent
e
r
r
osenberg i
n
fo leaks:
m
ake che
c
k_members_initiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carpenter
extra: handl
e
"if (a & 0x1)" con
d
iti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
D
a
n
Carpe
n
ter
fl
o
w: fake
a
ssigns bet
t
er for ne
s
ted structs a
n
d array
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-16
Dan Carp
e
n
t
er
helper: get_memb
e
r
_name() could stor
e
unions (so
r
t
of)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
user_dat
a
: fix crashing bug
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
t
e
r
math
:
improve how casts
are
handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
math: intr
o
duce ge
t
_absolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpenter
ma
t
h: improv
e
h
ow bitwise ANDs are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Carpe
n
t
e
r
k
e
r
n
el data/: update to recent linux-ne
x
t (3
.
11-rc1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Da
n
Carpente
r
d
b
: declare s
t
r
n
len() as r
e
turning "
0
-s32max[
<
=p1]"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Ca
r
pen
t
er
us
e
r_data:
e
xp
o
rt is_user_macr
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
Dan Car
p
enter
user_d
a
ta: mark ntohl() data as user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-15
D
an Carpenter
user_
d
ata: i
m
prove tracking set vs
p
as
s
ed in user data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-10
Dan
C
a
rpenter
i
m
p
lied: remove
some unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-08
Dan
C
ar
p
enter
check_overfl
o
w:
silence
s
ome "not al
l
ocating en
o
ugh
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan Carpenter
comp
a
rison: whi
t
e space cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-06
Dan Car
p
enter
extra: handle binop
c
ompari
s
ons
b
ett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
Dan Carpenter
d
b
/fix
u
p_kernel
.
sh: filter
-
>re
a
d
/w
r
ite() funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-05
D
a
n
Carpen
t
e
r
f
unction_ptr: h
a
ndle scope of function pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-04
Dan C
a
rpenter
smatch
:
add --debug=c
h
e
ck_nam
e
option to
debug
only
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n
C
arpenter
comparison: fix b
r
eakage caused by movi
n
g
t
o var_sym_li
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n Ca
r
penter
comparis
o
n:
c
leanu
p
first_sym() and rename to vsl_to
_
sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-03
D
a
n
Carpenter
c
o
mparison: clea
n
up: get rid of sym pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-07-02
Dan C
a
rpe
n
ter
comparis
o
n: track
modificat
i
on
s
b
e
tter using var_sym_lists
commit
|
commitdiff
|
tree
2013-07-02
Dan Car
p
enter
var_sym: in
t
roduce some helper
functions for handling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
debug: add __smatch_states("register_compa
r
ison")
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-29
Da
n
C
a
rpenter
debug: update
debu
g
to handle the new compariso
n
features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carp
e
nt
e
r
com
p
ari
s
on: inheri
t
links
w
h
en the
co
m
paris
o
n is s
e
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-29
Dan Carpenter
comparison: partially fix ho
w
links are
u
pdate
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-28
Dan
C
arpe
n
ter
db: t
r
ack some
more ==p1 return valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
compa
r
ison:
save correct link name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-28
Da
n
Carpenter
h
elper: e
x
port append(
)
func
t
ion (
i
t's
the s
a
me as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-28
Dan Carpenter
compari
s
on: fix
bug handl
i
ng min_
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next