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
recurse, extra: introduce has_variable() and fix forever loop OOM crash
2013-06-10
Dan Carpenter
recurse, extra: introduce has_varia
b
l
e() and fix foreve
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan
Carpen
t
er
start_states
:
add it to check_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
D
a
n Carpenter
c
o
mparison
,
db: use compari
s
on informati
o
n
s
tor
e
d
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
db: r
e
move
a
n
unu
s
ed v
a
riable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n
Carpenter
use
r
_data: add
a
c
o
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n Carpe
n
ter
user_data: introduce i
s
_
c
apped_user_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carp
e
nter
ex
t
r
a
: slist
:
white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
math: fai
l
more often with
FUZZY and HAR
D
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
a
n
C
a
r
p
e
nter
sval: make some more fixes to sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpent
e
r
loca
l
_
v
alues: sto
r
e correct init
i
al val
u
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
a
n Carpenter
extra: hand
l
e co
m
pa
r
is
o
ns whe
r
e the funct
i
on only returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan
Carpenter
ext
r
a: move m
a
tch_f
u
nc_compari
s
on(
)
lower
in the file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
estate: preserve the h
a
rd ma
x
in estate_f
i
l
te
r
_r
a
ng
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
p
enter
math: for bitwise
A
N
D
only use it for IMP
L
IED an
d
ABSOL
U
TE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
penter
s
v
al: ca
s
t preop '-'
o
perati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
sval: cast
b
i
t
wise negates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Ca
r
penter
capped: h
a
ndle postops bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpent
e
r
buf_size: handle bad data from th
e
d
a
t
a
base
b
e
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: use co
r
re
c
t variable in handle_conditional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
capped: use get_
h
ard_ma
x
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
math
:
move some RL_HARD and RL_EXACT tests around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
m
at
h
: s32min is not a fuz
z
y min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
math: r
e
verse
d
con
d
i
tio
n
in handle_divide
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carp
e
nter
m
a
th: remov
e
duplicate buggy c
o
de in get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n C
a
rpenter
m
at
h
: put an esca
p
e hatch
in handl
e
_
co
n
dition
a
l
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: swi
t
ch to
using RL_ en
u
ms directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
mat
h
:
d
elete old
u
nused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
ma
t
h:
c
l
ea
n
up
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
states: fix
s
ome leaks of t
h
e fake_cur_
s
list
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Carpenter
*ne
w
* sma
t
ch_start_states
.
c: r
e
cord the
s
tates at th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
d
b:
f
ix crashing bug as
a result of math changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
smatch
.
h: remove
l
eft ove
r
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
ch
e
ck_held_dev: small
spel
l
ing fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpe
n
ter
db: don't query return_values ta
b
le any m
o
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
ma
t
h
: clean
u
p t
h
e rest of handle_bi
n
op_
r
l()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rp
e
n
t
e
r
math:
f
ix ne
w
han
d
le_cond
i
tion
a
l_rl() code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math: introduce handle_div
i
de_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpen
t
er
math:
c
ouple bugs
i
n
handle_subtrac
t
_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
enter
sval: fix sval_binop_overf
l
ows()
h
a
ndlin
g
of
s
u
btracti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h:
r
emove so
m
e de
a
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
a
th:
i
n
troduce new han
d
l
e_sub
t
ract_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpen
t
er
ma
t
h: cr
e
a
t
e new handle_r
i
g
ht_shift
(
) function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: make new h
a
nd
l
e_
k
n
own_binop
(
) f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
create new handle_bitwise_AND() fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: i
n
tro
d
u
ce h
a
ndle_mod
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rp
e
nter
math: cre
a
t
e
h
ackish te
m
p
o
rar
y
handle
_
b
inop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
m
ath: create
new handl
e
_m
i
nus_p
r
eop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
math: create n
e
w han
d
l
e
_
bitwise_ne
g
ate() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math: introduce handle
_
exp
r
ession_stat
e
me
n
t_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
ma
t
h: us
e
han
d
le_var
i
a
ble()
i
n
handle_preo
p
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
o
duce handle_negate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
C
arpenter
math: introduce handle_ampersand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
m
a
t
h: hack
u
p
a
tempo
r
ary handle_
p
reop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath:
handle E
X
P
R_PO
S
TOP with _g
e
t_r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpent
e
r
math: i
n
trod
u
c
e hand
l
e
_condi
t
io
n
al_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rpenter
math: introduc
e
ha
n
dle_logical
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Car
p
e
n
t
er
m
ath: in
t
roduce handl
e
_comparison_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpen
t
er
math:
cr
e
at
e
handle_call_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpenter
math: creat
e
handl
e
_variable
(
) instea
d
of _get_impl
i
ed
_
val
u
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
m
a
t
h:
move g
e
t_cons
t
_value() forward
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
ma
t
h
:
h
a
ndle
c
a
sting
i
n
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
fix
u
p
s
o
m
e
t
hinkos i
n
the _get_rl() tr
a
n
s
iti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: int
r
oduc
e
temporary RL_IMPL
I
E
D enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
math
:
d
uplicate _get_val
u
e() int
o
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Ca
r
penter
m
ath: move absolute min/
m
a
x
c
ode from _get_va
l
u
e
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpen
t
er
ma
t
h: i
n
troduc
e
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
penter
r
a
nges: intr
o
d
u
ce
r
l_to_sv
a
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carp
e
nter
math: s/NOTIMPLIE
D
/EXACT/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carpenter
ma
t
h: improve absolute max
/
mi
n
with regar
d
s t
o
castin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-18
Dan Carp
e
n
ter
sva
l
: fix sval_too_hig
h
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
nter
db
:
i
n
troduce
call_results_to_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carp
e
nt
e
r
db: move
g
e
t
_
param
_
n
a
me
(
) to central lo
c
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-16
Dan Carpenter
f
l
ow:
l
ook at static and n
o
t-static local inli
n
e fu
n
ct
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-13
Dan Carpenter
extr
a
:
add set_e
x
tra_nodmo
d
() to smatch_ex
t
ra
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-10
Dan Carpenter
deref:
f
i
x se
g
fa
u
lt
p
arsing inv
a
lid
c
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Carpent
e
r
i
m
p
l
ied: preserve
e
quivalence
a
cross
s
witch statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-09
Dan Ca
r
penter
math:
handle
s
izeof
f
o
r zero size bitfields
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan C
a
rpenter
e
xtra: h
a
ndle pr
e
vi
o
usly assigned sim
p
le math
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
Da
n
C
arpenter
ex
t
ra: split
m
a
tch_compa
r
ison() into two fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Da
n
C
a
r
p
enter
c
a
pped: k
n
own values are alw
a
ys capped
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-08
Dan Carpenter
R
e
vert "sparse: introduce get_expression_value_n
o
mod()"
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpe
n
t
e
r
sho
w
_unre
a
chable
.
sh: add so
m
e more ignore
d
kernel funct
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Carpenter
flo
w
: don
'
t print duplic
a
te "unreach
a
ble code"
warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-20
Dan Car
p
ent
e
r
d
b
: repla
c
e database i
n
fo sc
r
ipts with
smdb
.
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
Dan Carpe
n
t
er
show_unre
a
c
h
able
.
sh: change the line numb
e
r f
o
r
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-19
D
an Carpenter
show_unrea
c
hable
.
sh: replace t
a
bs with spaces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-18
Dan
Carpenter
db: kerne
l
: fa
k
e
u
p
->read/write() li
m
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n Carpenter
d
b
:
s
t
o
re "too common
"
funct
i
o
n
s in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
param_clea
r
ed: clear_buff
e
r:
a
dd them to the check_li
s
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carp
e
nter
ex
t
ra: don't use t
h
e in
d
irect_modific
a
ti
o
n_hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
extra: make
p
ara
m
_
f
i
lter set_extra_mod
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
ro
s
enberg: remove pahole dependency
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
D
a
n
C
a
r
penter
p
a
rse: add
a big h
a
ck to
t
rack packed structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
*
new*
s
match_clear_buffer
.
c
:
handle mem
s
et() ty
p
e
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Ca
r
penter
para
m
_limit
/
f
i
lter:
i
g
nore who
l
e
r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-17
Dan Carpenter
range
s
: an e
m
pty
r
ange is not a whole
r
ange
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Carpenter
extra
:
remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Dan
C
a
rpenter
e
xtra:
s
m
all fix for
w
h
e
n the databas
e
is di
s
abled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-04-15
Da
n
Car
p
enter
d
b
: always s
p
lit the return val
u
es
if
w
e're not using
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next