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
flow: expressions: don't try updating to uninitialized position
2013-04-03
Dan Carpenter
f
low: exp
r
ess
i
o
ns: do
n
'
t try upd
a
ting to uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
db: fixu
p
_kernel
.
sh:
(
stru
c
t
m
I
SDNchannel)->
s
end information
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Da
n
C
a
r
p
enter
db:
fixu
p
_kernel
.
sh: re
c
ord where ->n
o
tifier_call is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpente
r
flo
w
: hand
l
e inli
n
es b
e
t
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
D
a
n Carpen
t
er
d
b
: function_p
t
rs: track poi
n
ter to
pointer assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpen
t
er
m
ath:
silence some
bu
f
fer overflow false p
o
siti
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
db: fixup_ke
r
nel
.
sh:
i
gnore
(
struct timer_list)->func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: loo
k
up all
t
he
f
unc
t
ion pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
helper: allow
g
et_param_num_from_sy
m
() to be used in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
string_list: intro
d
uc
e
list_has_stri
n
g()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpente
r
smatch_st
r
i
n
g_list
.
c: separate string_list functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
db: only loo
k
up f
u
ncti
o
n p
o
inters
o
nce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
an
n
ota
t
e: use it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
helper: ignore
p
aren
s
in expr_to_var()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpent
e
r
ov
e
r
flow: sil
e
nce ke
r
n
e
l f
a
lse positive
ab
o
ut __per_cpu_o
f
fse
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Carpenter
kernel: r
e
cove
r
mod
u
le_in
i
t
/exit() functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
ter
f
low: pass the
s
ym
_
list to
the END_FILE_
H
OOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
db: f
i
xup_kernel
.
s
h remove so
m
e
m
o
re
USER_D
A
TA tags
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Da
n
Car
p
en
t
er
db:
spe
e
dup fil
l
_d
b
_
caller_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpent
e
r
extra: improve
+= and -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
sval: in
t
r
oduce sval_is_n
e
gat
i
ve_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Ca
r
penter
sval:
fix sv
a
l_binop_overflo
w
s()
to a
c
cep
t
differ
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
i
n
trod
u
ce smatch_ann
o
tate
.
c: ann
o
tate some com
m
on fu
n
c
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
rpe
n
ter
d
b
: give up if there are
o
ver
1000 returned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpente
r
db:
f
ix slow down
c
aused b
y
recursive f
u
nction cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Car
p
enter
buf_size: false pos
i
tive f
r
om large "i
m
p
l
ied"
imp
l
ied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpenter
h
elper:
fix e
x
pr_to_str
(
)
for
f
unc
t
ion cal
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carp
e
nter
db: remove mor
e
u
se
r
data from start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpenter
db: manually delete som
e
USER_D
A
TA
markers from th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan Carpenter
e
x
t
r
a: move vani
l
la assigns into the
i
r own
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
ranges: in cast_rl(
)
sometimes it's better to just
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
e
x
tra: type bu
g
h
andling asm expre
s
si
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan C
a
rpente
r
db:
fix bug han
d
ling ':' ch
a
racter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
mat
h
: Use func
t
ion call
i
nform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Ca
r
penter
f
low: han
d
l
e POST_OPs correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Car
p
enter
buf_size: handle dma_all
o
c_attrs
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
extra: type bug handling
for
l
o
o
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
math: fix a coup
l
e t
y
pe bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
locking:
f
ix build pr
o
blem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpenter
user_data:
t
he po
i
nter returned from c
o
ntainer_of(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Ca
r
penter
d
b
: update a debug m
e
ssag
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
db:
chan
g
e th
e
file sear
c
hed for sta
t
ic fu
n
ctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Car
p
ent
e
r
flow: fix a
debug statemen
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
Dan Carpenter
flow:
s
ave and rest
o
r
e the big_expression_stack when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-14
D
an Carpen
t
er
c
o
n
ditions:
f
ix sma
l
l
s
ignedness bug in
c
ompa
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
C
arpe
n
ter
lockin
g
: igno
r
e
par
e
nthe
s
is
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpe
n
ter
stack: turn off by default, an
d
les
s
sp
a
mmy a
l
ways
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Da
n
Carpenter
signed: don't warn about assign
m
ents to boolean
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
local_v
a
l
ues:
not all the set values ma
k
e
it to the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpenter
size
o
f_param
:
ignore strncat(a, b,
sizeof(b));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
D
a
n Carpenter
kernel:
h
andle __ft
r
ace_
b
ad_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan Carpente
r
kernel: handl
e
find_n
e
xt_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-12
Dan
Carpenter
db_i
n
fo
:
s
ave r
e
tu
r
n v
a
lues in
in-
m
emory
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpen
t
er
check_kernel: preser
v
e
ERR_PTR
v
alues passed to IS_ER
R
_OR_
N
ULL()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
check
_
kernel: rename nonnull to val
i
d_pt
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
D
a
n Carpenter
R
evert "ke
r
ne
l
: remove som
e
unneeded cod
e
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-08
Dan Carpenter
size
o
f_param: f
i
x fals
e
positiv
e
s with strlcpy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-07
Da
n
Carpenter
compare
:
hand
l
e some assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpent
e
r
extra
:
shuffle m
a
tch_assign a b
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
extra: only
get the
t
ype
s
one tim
e
in matc
h
_assig
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
function_ptr: mo
v
e ge
t
_fnpt
r
_name() to smatch_function_ptr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
db: fix
u
p_kernel
.
sh: d
i
scard caller_info from
->notif
i
er_call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
d
b
: fixup
_
ke
r
nel
.
s
h: only track the mai
n
r
ead/write
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an
C
a
r
penter
user_data
:
track us
e
r
d
ata across assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
s
m
a
t
ch_c
a
pp
e
d: get_impl
i
ed
_
ma
x
()
d
oes not
impl
i
ed capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Da
n
Car
p
enter
b
uf_si
z
e: export
get_real_array_siz
e
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan
Carpenter
extr
a
: ha
n
dle MOD_ASSIGN better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
Dan Carpenter
db: don't print informatio
n
c
aller
information for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an C
a
rpenter
function
_
ptrs:
tra
c
k
paramet
e
rs as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-06
D
an Carpenter
function_ptrs: separate
i
n
to its own file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-01
Dan
Carpenter
da
t
a: add snprintf to kernel
.
sizeof_
p
a
ram
.
remove
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carp
e
nter
buf_size: fix a NULL
derefe
r
ence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-28
Dan Carp
e
nter
kernel: r
e
mo
v
e
s
o
m
e
unnee
d
ed cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
an Car
p
e
n
t
er
buf_size:
han
d
le em
p
ty
arra
y
s
on th
e
e
n
d of str
u
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan Carpent
e
r
buf
_
siz
e
: r
e
m
o
ve some dea
d
co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
D
a
n Carpenter
local_value
s
: store poss
i
ble val
u
es o
f
static
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-26
Dan
C
arpente
r
flow: more i
n
line fall out
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Carpe
n
ter
d
b
: expo
r
t mem_
s
ql(
)
so checks ca
n
us
e
i
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan C
a
rpenter
n
o
_
return: anot
h
er
problem w
i
th
i
n
line functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
D
a
n Ca
r
penter
r
an
g
e
s
:
f
ix casting of i
n
valid r
a
nge lists
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-22
Dan Ca
r
pe
n
t
er
extra, function_h
o
o
k
s: fi
x
handling of casted
function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
Re
v
ert "db: do
n
't create
u
nused tab
l
es in the in-memory
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Carpenter
db
:
don't use
f
unction pointe
r
s for caller
info on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: use "distin
c
t" to
a
void dupl
i
cate function
pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: load
global fu
n
ction pointer
s
i
n
t
o
the db properly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an Ca
r
pen
t
er
d
b: re
m
ove dup
l
icate struct
pointers to functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Da
n
Carpenter
db: fix call_implies for the in-m
e
mory da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Ca
r
p
e
nt
e
r
db, function_
h
ooks: quer
y
the db af
t
e
r
p
rocessing the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpe
n
ter
d
b
:
store the value of
"
x
"
when
y
ou
call
f
rob(&x)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: pass pointed
at
v
a
lues to called functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: reset the in-
m
emory datab
a
se aft
e
r
e
v
ery function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: ad
d
some debug stateme
n
ts fo
r
inserts into
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
D
an
C
a
rpenter
db: use ca
l
l_id for the in-memory database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db
:
add call_id to
c
all_implies, r
e
turn_states and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Car
p
ent
e
r
db:
rename function_id in the ca
l
ler_info ta
b
le to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db: do
n
't
create unused tables in the in-me
m
ory
da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpenter
db:
don
'
t prin
t
caller info
for _
_
builtin func
t
i
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-21
Dan Carpent
e
r
d
b
:
use
c
orrect variable in me
m
_
s
q
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
D
a
n Carpenter
e
x
tra: improve unsigned comparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-02-20
Dan Carpent
e
r
rang
e
s
: don't do
u
nnee
d
ed allocat
i
o
n
s
in
c
a
st_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next