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
start_states: add it to check_list.h
2013-05-27
Dan Carpente
r
st
a
rt_states: a
d
d
it
t
o
check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan
C
a
r
pent
e
r
comparison, db: use c
o
m
p
arison
information stored in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
db: remove an unused variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpen
t
er
use
r
_data: add
a
com
m
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpen
t
er
user
_
data:
i
ntro
d
uce is
_
cap
p
ed
_
u
ser_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Da
n
C
a
rpente
r
extra
:
s
list:
w
hite
space
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
m
at
h
: fail
m
o
re often with
F
UZZY
and HARD
limi
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Car
p
e
n
ter
sval: make so
m
e
m
ore fixes to sva
l
_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Car
p
enter
loca
l
_values:
s
tore cor
r
ect initial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
e
x
tra: han
d
le compar
i
s
o
ns where the function only returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
extra: m
o
ve match_fun
c
_compari
s
on()
low
e
r in the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carp
e
n
ter
e
state: preserve the har
d
m
ax in estate_filter_rang
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
C
a
rpenter
m
a
th: for
bitwise A
N
D
only use
i
t for
IMPLIE
D
and
A
BSOLUTE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sva
l
:
c
a
st
preop
'
-
' op
e
rations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
sval: cast bitwise negate
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
c
a
p
ped: handle
p
o
stops
be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
C
a
r
penter
b
uf_size: handle bad da
t
a
fr
o
m t
h
e
database bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use correct va
r
i
a
ble in h
a
nd
l
e_conditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpen
t
er
ca
p
p
ed: us
e
ge
t
_hard_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: move
s
ome R
L
_HARD a
n
d RL_EXACT tests aro
u
nd
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpe
n
t
er
m
a
th: s3
2
min
i
s n
o
t a fuz
z
y
m
in
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpenter
math: reve
r
sed condi
t
i
on in ha
n
dle_div
i
de()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: remo
v
e
d
uplica
t
e buggy code in get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
math: pu
t
an escape hatch in
handle_conditio
n
al_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
: sw
i
t
c
h
t
o
using RL_ enums
d
irectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
nter
math: d
e
lete old u
n
used
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math: cle
a
nup _get_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
s
t
ates: f
i
x some leaks of the fake_cu
r
_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
*new* smatch_start_states
.
c:
r
ecord the states at the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpent
e
r
d
b: fix cr
a
shing b
u
g as a resul
t
of mat
h
changes
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
D
a
n Carpenter
check_
h
eld_dev
:
small sp
e
lling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b
: don't query return
_
values t
a
ble any mor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ma
t
h
: clean
u
p
the rest
o
f hand
l
e_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
a
rpenter
math: fix ne
w
han
d
le
_
conditional_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
m
ath: introduce handl
e
_divi
d
e
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpent
e
r
m
a
th: couple bugs in
h
andle_s
u
btract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
penter
sv
a
l
:
fix sv
a
l_b
i
n
op_ov
e
rflows() hand
l
ing of s
u
b
t
raction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: remove some dead
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
math: intr
o
duce n
e
w handle_subtract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpente
r
math: create new handle_righ
t
_shift() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
m
ake new
handle_
k
nown_binop()
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
er
math: create n
e
w handle_bitwise_
A
N
D
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
m
ath
:
introduce handle_mod_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: create hacki
s
h
tempor
a
ry han
d
le_binop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
t
er
ma
t
h
:
create
new handl
e
_minus_preop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an C
a
rpenter
math: create ne
w
hand
l
e_bitwise_negate() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: i
n
troduce h
a
ndle_expres
s
ion_statement_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: use handle_vari
a
ble() i
n
handle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpent
e
r
math: introduce
h
and
l
e_negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: introduce handle_ampersand_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpente
r
math: hack
u
p a
temporary handle_preop_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math:
handle EXPR_POST
O
P with _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
Carpenter
math: introd
u
ce
han
d
l
e
_cond
i
t
ional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: introduce
h
andle_logical_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: introdu
c
e handle_comparison_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: crea
t
e handle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
m
ath: create
h
a
ndle_variable() inst
e
ad
of _ge
t
_implie
d
_val
u
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: move get_const_val
u
e() f
o
rward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
h
a
n
dle cas
t
in
g
i
n _
g
et_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
m
ath: fix
u
p
s
ome
thinkos
in the _get_rl
(
) transiti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: intro
d
uc
e
temporary RL_IMPLIED enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
r
penter
ma
t
h: duplicate _get_v
a
lue() int
o
_get
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: move absol
u
te min/max code from
_get_valu
e
()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n C
a
r
p
enter
math:
i
ntrod
u
c
e
_get_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ranges
:
introduce rl_to_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: s/NOTIMPLIED/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
math:
i
mpro
v
e ab
s
ol
u
te max/min
with reg
a
r
d
s to c
a
sting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Car
p
enter
sval: fix sval_
t
oo_high
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
n
t
er
d
b
: int
r
o
d
uce call_resu
l
ts_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan
Ca
r
pent
e
r
db: mov
e
ge
t
_para
m
_name
(
) to central loc
a
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpen
t
er
flow: loo
k
at
static
a
nd not-stati
c
local inline functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extra: add set
_
ext
r
a_nodmod(
)
t
o
smatch_extra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Car
p
enter
deref: fix
segfault parsing inv
a
lid c code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan
Carpente
r
i
m
p
lied: prese
r
v
e
equivalence across switch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
D
an
Carpent
e
r
mat
h
: handle sizeof for zer
o
size
b
i
tfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpent
e
r
ex
t
r
a: handle previousl
y
assigned simple
m
ath
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: handle
"if (a - 3 > 100) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
extra: split m
a
tch
_
comparison() int
o
two functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
Carpent
e
r
capp
e
d: known values ar
e
alw
a
y
s
capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Car
p
en
t
er
R
ev
e
r
t "s
p
arse
:
introdu
c
e get_expression_value_no
m
o
d(
)
"
commit
|
commitdiff
|
tree
2013-04-20
D
an
Carpenter
s
h
o
w
_unreachable
.
sh:
a
d
d some more igno
r
ed kernel functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Da
n
C
a
rpenter
flow: don't
print duplic
a
te "u
n
reachable c
o
de" warni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
db: replace da
t
abase info scripts with smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpenter
show_unreachable
.
sh: chang
e
the l
i
ne number format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan
C
arpenter
sho
w
_unr
e
achabl
e
.
sh: r
e
place tabs
w
i
th spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
D
an Ca
r
penter
db: k
e
rnel: f
a
ke up ->read/
w
rite() limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan
C
arp
e
nter
db:
s
tore "too common" functio
n
s in the
d
at
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
par
a
m_c
l
eared: clear_buf
f
er: a
d
d them
t
o
t
h
e che
c
k_l
i
st
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: do
n
't use the indire
c
t_mo
d
ification_hoo
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Da
n
Carpe
n
t
e
r
extra: mak
e
param_fil
t
e
r set_extra_m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
an Carpenter
rosenberg: rem
o
ve pahole depend
e
ncy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpent
e
r
p
arse: add a big h
a
ck to tra
c
k p
a
cked str
u
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Car
p
ente
r
*new* smatch_clear_bu
f
f
er
.
c:
han
d
le memset() type functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
n
ter
p
aram
_
limit/fil
t
e
r: ign
o
re whol
e
ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpe
n
ter
rang
e
s: an
empty range is
not a
w
hole ran
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carpenter
extr
a
:
r
e
move some
dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
e
xtra:
s
m
a
ll fix f
o
r when the database is dis
a
bled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
D
an Carp
e
nter
db
:
a
lway
s
split the return v
a
l
ues if we're not
using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
Carp
e
nt
e
r
cond
i
tions:
us
e
set_ext
r
a_expr
_
m
o
d() t
o
change extra
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next