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
math: create handle_call_rl()
2013-05-20
D
a
n Ca
r
penter
math: create hand
l
e
_ca
l
l_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: c
r
eate h
a
ndle_
v
ariable() instead
of _get_impli
e
d_value()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math:
move get_const_va
l
ue
(
)
forward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: handle ca
s
t
ing in
_g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
ma
t
h: fix
u
p some thinkos in the
_
get_rl() transition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introdu
c
e temporar
y
RL_IMPLIED enum
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
mat
h
:
d
uplicate _
g
et_value() into _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: move absolute min/ma
x
code from _g
e
t_va
l
u
e
(
)
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpente
r
math:
intr
o
duce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
C
a
rpenter
ranges: in
t
r
o
duce rl_to_s
v
a
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Car
p
enter
ma
t
h: s/NOTIMPLIED/EXA
C
T/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpe
n
t
er
math:
i
m
prove absolute
m
ax/min
wi
t
h rega
r
ds t
o
c
a
s
t
ing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan
C
arpente
r
sval:
fix sval_too_high()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
D
a
n Carpenter
db: introdu
c
e
call_res
u
lt
s
_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpen
t
er
db: move get_p
a
r
a
m_name() to central
l
ocat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
f
l
ow:
lo
o
k at static
a
nd no
t
-static lo
c
al
inline
f
u
n
cti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpe
n
ter
ex
t
ra: add set_extra_nodmo
d
() to
smatch_extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Car
p
enter
dere
f
: fix s
e
gfault
pars
i
ng invalid c
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied: p
r
eserve equival
e
nce across switch s
t
atements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpent
e
r
mat
h
:
handle sizeof for ze
r
o s
i
ze bitfie
l
ds
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
extra
:
handle p
r
e
viously
ass
i
g
n
ed s
i
m
p
l
e math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
extra: handle
"
i
f
(a - 3 > 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
Carpenter
extra:
sp
l
it match_comparison()
into two function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpe
n
ter
cap
p
ed: known values are al
w
ays c
a
pped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
R
evert
"sparse: int
r
oduce get_ex
p
re
s
sion_value_
n
omod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
show_u
n
reachable
.
s
h: add some more ignored ker
n
e
l
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flow: don't print
d
u
plic
a
te "unreachable code" w
a
r
nings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
er
db
:
re
p
lace
d
ataba
s
e info sc
r
ipts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arpenter
show
_
unr
e
achable
.
s
h
: change the line
n
umber
f
ormat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
D
an Car
p
e
nter
show_unrea
c
hable
.
sh: replace tabs with spaces
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan
Carpenter
db:
kern
e
l: fake
up -
>
r
e
ad/write()
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
db: store "too common"
f
unctions in t
h
e datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
param_cleare
d
: clear
_
buffer
:
add the
m
to
the check_lis
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpe
n
te
r
extr
a
: d
o
n'
t
u
se the indirect_modifica
t
i
on_hook
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpenter
e
xtra: mak
e
param_filter
set_
e
xtra_
m
od()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
rosenberg: remove pahole
dep
e
ndency
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpen
t
er
parse: a
d
d
a big hack to track p
a
c
k
ed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Carpenter
*
ne
w
*
s
match_
c
lear
_
b
uffer
.
c
: han
d
le
m
e
m
s
e
t
() t
y
pe fun
c
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
enter
para
m
_
l
imit/filter:
ignore
whole ra
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-17
Dan
Car
p
enter
ranges: an em
p
ty range is no
t
a whole
r
ang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpe
n
t
er
extra: remove so
m
e de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpent
e
r
extr
a
: small fix for when the database is disab
l
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpenter
d
b: always split the retu
r
n va
l
ues if we're not us
i
ng
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
arpenter
conditions: us
e
set_
e
xtra_expr_
m
od() t
o
change
e
xtra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Ca
r
penter
user_data:
compat sys
c
all parameters a
r
e user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan Carpente
r
user_data: using a
user
supplied offset into an know
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carpenter
lockin
g
:
add so
m
e more bh lock
functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-12
Dan
Carpenter
Merge branch
'
rfc-att
r
ibute-struct
'
of git://git
.
kernel
.
.
.
commit
|
commitdiff
|
tree
2013-04-12
Dan
C
arpe
n
ter
c
h
eck_deref: disable "potential NULL derefe
r
ence"
b
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-10
Dan Carpenter
lockin
g
: a
d
d
local_bh_
d
isable/
e
nable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-09
Dan Carpenter
lo
c
king: hand
l
e
null vs non-NULL retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Ca
r
penter
locking
:
updat
e
v
alidation/
tes
t
s to the new
warning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
functi
o
n
_
ptrs
:
"(*ptrs[0])(a, b)" is the sa
m
e as "
p
t
r
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
Carpenter
function_ptrs: rec
o
r
d when
fu
n
ction pointer is sa
v
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpen
t
e
r
rosenb
e
rg: re
m
ov
e
s
o
me structs
w
hi
c
h
don'
t
have holes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Da
n
C
arp
e
nter
rosenberg: check for
n
la_pu
t
in
f
o
leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
flow: fake
member a
n
d eleme
n
t
a
s
signments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
arpenter
expres
s
ion
s
:
i
ntroduce array_el
e
ment_expression
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
a
n Ca
r
pente
r
locking: take re
t
urns
v
a
lues
i
nto cons
i
derat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan
C
a
rpenter
check_kernel: look har
d
er fo
r
t
he container
_
o
f() ma
c
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carpenter
imp
l
ied: db: fix how returns are broken apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
D
an Carpenter
db: retu
r
n_id was set inco
r
rectly w
h
en inline
functi
o
ns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-08
Dan Carp
e
nter
db: fix how the return value
s
a
r
e casted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-04
D
an Carpenter
helper: make is_array() acc
e
pt NULL pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpen
t
er
db:
f
unction_
p
trs:
do b
e
tter at func
t
i
on
p
tr
t
o
fun
c
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carp
e
nt
e
r
f
low: create fake
a
s
signments
for a
r
ray decla
r
a
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
a
n Carpe
n
ter
f
low: expressions: don't t
r
y
u
p
dati
n
g
to uninitiali
z
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
Dan Carpent
e
r
db: fixup_k
e
rnel
.
s
h
:
(
struct mISDNchannel)->send
inf
o
r
m
atio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-03
D
an Car
p
ente
r
db: f
i
x
u
p_kernel
.
sh: record where ->no
t
ifier_cal
l
is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
C
arpenter
flow:
handl
e
inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan Carpenter
d
b
: funct
i
on_ptrs: track pointer to poi
n
ter
a
ssignme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carpenter
math: silence some buff
e
r
o
v
e
rflow f
a
lse po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-02
Dan
Carp
e
nter
db
:
fixu
p
_
kern
e
l
.
sh: i
g
nore (struct timer_list)->function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-01
Szymon Janc
ext
r
a:
Fix segmen
t
ation f
a
ult in m
a
tch_assig
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
: lo
o
k u
p
all th
e
funct
i
o
n po
i
nters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpenter
h
e
lper:
allow
g
e
t_param_num_from_sym()
t
o be used
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
C
arpenter
str
i
ng
_
l
ist: intro
d
uce lis
t
_has_string()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an
Carpenter
smatch_string_l
i
st
.
c: separate
s
tring_list function
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: on
l
y lookup f
u
nction poin
t
ers once
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Ca
r
penter
an
n
o
t
at
e
: us
e
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
a
n Carpe
n
ter
he
l
per
:
i
g
nore parens in exp
r
_to_v
a
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
overflow:
s
i
le
n
ce
k
ernel fa
l
se positiv
e
abou
t
__per_cpu_
o
ffs
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
ke
r
n
el: recover module_init/exit() functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
fl
o
w: pass the sym_lis
t
to the E
N
D_FILE_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpent
e
r
db: fixup_k
e
rnel
.
s
h
remove some more USER_DATA tag
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
db: speedup fill_db_caller_info
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan C
a
r
penter
extra: improve += and -= handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Car
p
enter
sv
a
l: in
t
roduce
s
val_is_negative_min()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
D
an Carpenter
sval: fix
s
v
al_binop_overf
l
ows() to accept different
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpe
n
t
e
r
i
ntrodu
c
e smatch_annot
a
te
.
c: a
n
nota
t
e
s
o
m
e
comm
o
n functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan Carpenter
d
b
:
gi
v
e
up if
there are ov
e
r 1000 returned states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-25
Dan
Carpenter
db: fix s
l
ow down
c
aused
by recursiv
e
f
unction calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
a
rpenter
buf_size
:
false positi
v
e from large
"impli
e
d"
implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpe
n
ter
hel
p
er: fix expr_to_str() for function c
a
lls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan
C
arpe
n
ter
db:
remove more use
r
data fro
m
start_xmit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-21
Dan Carpente
r
db: manually delete some
U
S
ER_D
A
T
A
markers
f
rom the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-18
Dan
C
arpe
n
ter
e
xtra: mo
v
e vanilla assign
s
in
t
o their own
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Ca
r
pent
e
r
ranges: in ca
s
t_rl() sometim
e
s it's better t
o
j
u
s
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan
Carpente
r
extra: ty
p
e bug handling asm
expressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-03-15
Dan Carpen
t
er
db: fix b
u
g handling
'
:' character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next