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
param_cleared: add some more functions that clear parameters
2013-06-12
Dan Carpen
t
er
param_cleared: add som
e
mor
e
functio
n
s
that clear p
a
r
a
me
t
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carp
e
nter
hel
p
er:
s
p
e
ed up expr_to_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
r
p
enter
capped
:
int
r
o
d
uce is_capped_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
db, co
m
parison: store
return
range comparisons
i
n the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
compari
s
on: pull get_comparison_strings
(
) into its
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
d
b
, compari
s
on, range
s
: im
p
r
o
ve how comparisons wil
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
comparison: ha
n
dle --/
+
+ modifications bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
ente
r
modifica
t
ion_hooks: pass the modify
expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpenter
extr
a
: revert
p
a
rt of the r
e
curse patch which b
r
oke
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpenter
recur
s
e
: oops
.
add EXPR_VALU
E
a
n
d fix a va
l
ida
t
ion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
st
a
tes: introduce _
_
se
t
_
f
ak
e
_c
u
r_
s
list
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
u
s
er_data: pull i
s
_use
r
_
d
ata_state() into
i
ts own func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-06-10
D
a
n Carpenter
recurse
,
extra: introduce
h
a
s_vari
a
ble() and fix f
o
rever
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Dan C
a
rpente
r
start_stat
e
s: a
d
d it to check_list
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
Da
n
Ca
r
p
ent
e
r
comparison
,
db
:
us
e
compa
r
ison info
r
mation stor
e
d in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-27
D
a
n Carpenter
db: remove a
n
unused variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan C
a
rpen
t
er
u
s
e
r_data: add a c
o
mment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
us
e
r
_data: int
r
oduce is_cap
p
ed_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpe
n
ter
ext
r
a
:
s
l
i
s
t: white space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
a
r
pente
r
math: fail m
o
re o
f
ten with
FUZZY
a
nd H
A
RD limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpenter
s
v
al:
m
ake s
o
me more fixes to sval_binop_over
f
lows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
local_va
l
ues: st
o
re
c
or
r
ec
t
i
nitial
value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan C
a
r
p
enter
extr
a
: handle comparisons where
t
he function only returns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpen
t
er
e
x
t
ra: move match_func_compar
i
s
o
n() low
e
r
i
n the file
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
ent
e
r
es
t
at
e
: preserve the hard max in es
t
ate_filt
e
r_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Car
p
enter
ma
t
h: f
o
r bit
w
is
e
A
N
D on
l
y use
it for I
M
PLIED
and
ABSOLUTE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
e
r
sval: cast preop '-
'
operati
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carpenter
sval: cast bitw
i
se negates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carp
e
nter
capp
e
d: handle
p
o
s
tops better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
buf_size
:
handle bad data from the datab
a
se better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
math: use
cor
r
e
c
t
v
ariable in handle_conditional_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
rpent
e
r
cappe
d
: use get_hard_max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
m
a
t
h: mo
v
e
s
ome RL_HARD
a
nd RL_EXACT t
e
sts arou
n
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
rpenter
math: s32min i
s
not a fuzzy min
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
math: r
e
v
e
r
se
d
c
o
ndition in han
d
le_di
v
ide()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
r
p
enter
mat
h
:
remove duplicate buggy co
d
e in get_im
p
l
i
ed_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rp
e
nter
m
a
t
h
: put an escape hatc
h
in
h
andle_con
d
itional_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpe
n
ter
math
:
swi
t
c
h to using RL_ enums
direct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpent
e
r
math: del
e
t
e
old unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Car
p
e
n
t
e
r
math: cleanup
_
get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpent
e
r
states: fix some leaks
o
f
th
e
f
ake
_
cur_
s
list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpe
n
ter
*ne
w
*
smatc
h
_s
t
art_states
.
c:
r
ecord the state
s
at the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db:
f
ix crashing bug as a result of math ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
smatch
.
h: remove left over dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
che
c
k_held_dev: small spelling
f
ix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
d
b: don't query return
_
values table an
y
more
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpe
n
ter
m
a
t
h
: cleanup the rest of h
a
ndl
e
_
bin
o
p_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
D
an
Carpenter
math:
f
ix new
handle_c
o
nditional_rl() code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
m
at
h
: introduce
h
an
d
le_
d
ivide_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: couple bugs
in
h
a
n
dle_
s
u
btract_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
n
ter
sval: fix s
v
a
l_binop_overflo
w
s() hand
l
ing of subtraction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
m
ath: remo
v
e som
e
de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce new h
a
ndle_su
b
tr
a
c
t
_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create new handl
e
_right_shift() fun
c
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpen
t
er
math:
m
ake new handle_known_binop() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpe
n
ter
mat
h
: create new
handle
_
b
itwise_AN
D
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: intro
d
u
c
e h
a
ndle_mod_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: create hackish temporary han
d
le_b
i
nop_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
mat
h
: create new
h
a
n
dle_minus_p
r
eop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Car
p
enter
math
:
c
reate
n
ew handle_b
i
twise_n
e
gate() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpe
n
ter
m
ath: introduce handle
_
expression_stat
e
m
e
nt_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
m
a
th: use handle
_
variable() in handle_preop_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math:
introduce handle_n
e
gate_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carp
e
nter
ma
t
h: introduce handle_a
m
persand_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
m
ath: hack up a temp
o
rary hand
l
e_
p
reop_r
l
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: handle EXPR_POST
O
P with
_g
e
t_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
introduce ha
n
d
le_conditional_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpente
r
m
ath:
i
n
troduce handle_logical_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
en
t
er
m
a
t
h: introdu
c
e handle_com
p
ar
i
son
_
rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: create
h
a
n
dle_call_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
m
a
th: cr
e
at
e
handle_
v
ari
a
ble() instead
o
f _get_implied_va
l
ue()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
enter
math
:
move g
e
t
_const_val
u
e() f
o
rward
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
math
:
handle casting in _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
m
a
th:
f
ix
up some
thinkos in the _ge
t
_r
l
(
) tra
n
sition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: introduce temporary RL_IMPLIE
D
enu
m
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Carpenter
math: du
p
l
i
cate _get_valu
e
()
into _get_rl(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
a
rpenter
math:
m
ove
a
bsolute min/max code from
_
g
et_value()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: introduce _get_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
e
r
rang
e
s: introd
u
c
e rl_to_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
math: s/NOTIMPLIED/EXACT/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
ma
t
h
: improve absol
u
te max/m
i
n
with re
g
a
rd
s
t
o ca
s
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
sval: fix sval
_
too_h
i
g
h
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: introduce call
_
result
s
_to_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
db: move get
_
para
m
_
name(
)
to c
e
ntral location
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
nter
flow: lo
o
k at
static
and not-s
t
a
tic local inline
f
unctio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-13
Da
n
C
arpente
r
extra: add set_extra_nodmod() to smatch
_
extra
.
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carp
e
nter
deref: fix
s
eg
f
ault
p
ar
s
ing invali
d
c
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpenter
implied: preserve
equival
e
nce a
c
ross switch statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpen
t
er
math: handle
s
izeof for
z
e
ro s
i
ze
b
itfields
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan
C
arpent
e
r
extra: handle previ
o
usl
y
assigned simple math
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpente
r
extra:
h
andl
e
"
if
(a -
3
> 100) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
e
xtr
a
:
spl
i
t match_compar
i
son() into
t
wo functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
capped: known va
l
ues are al
w
ays cap
p
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-05-08
D
a
n
Carpen
t
er
Revert "sparse: int
r
od
u
c
e
g
et_expres
s
ion_value
_
nomod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan
Ca
r
penter
show_unreachable
.
sh
:
a
d
d some mo
r
e ignored kernel functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Ca
r
p
e
n
t
er
flow: don't print dupli
c
ate "u
n
r
eachab
l
e code
"
w
a
rning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpen
t
er
db: repl
a
ce
d
atabase inf
o
scripts with smdb
.
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Ca
r
p
e
nter
s
h
o
w
_unreachabl
e
.
sh:
c
h
ange the li
n
e number fo
r
mat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unr
e
achable
.
s
h: replace tabs
with s
p
ace
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2013-04-18
Dan Carpenter
d
b:
kernel: fake up ->read/write
(
) lim
i
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next