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
user_data: track things like get_user_data(&my_pointer);
2013-06-17
Dan Carpenter
user
_
data: track things like get
_
user_data(&m
y
_poi
n
ter)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan Carpente
r
user_data: m
a
ke
c
ro
s
s fu
n
ction t
r
a
c
k
i
ng more specific
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
Dan Carpe
n
te
r
comparison
:
use comparison from
database instead of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-17
D
a
n Carpenter
buf_size: f
i
x
h
andli
n
g of declarations w
i
th named elements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan Carpenter
d
b,
fixup
_
kernel
.
s
h:
i
gnore (struct ir
q
_rou
t
e
r)
-
>get
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan
C
arpe
n
te
r
db: f
i
xup_kernel
.
sh: add comparisons to rw_ve
r
ify_a
r
ea
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan C
a
rpenter
db: fixup
_
kernel
.
s
h: add comm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
D
a
n Carpen
t
er
db,
a
nnotate: move strnlen() retu
r
n annotation to
t
he db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan Car
p
en
t
er
kerne
l
: move
s
t
u
ff f
r
om check_kernel
.
c to d
b
/fixup_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan Ca
r
pen
t
e
r
comparison:
h
andle unm
a
tch
e
d comparis
o
n
s
to
" orig
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
Dan Ca
r
pent
e
r
co
m
pari
s
on: copy all the
com
p
arisons whe
n
you a
s
sign
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-14
D
an Carpenter
db: add comparis
o
n
s
t
o split apart re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan C
a
rpenter
db, comparison, ranges: store ran
g
es and c
o
mp
a
rison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan
Carpenter
c
ompa
r
ison
:
shif
t
s
o
me code around a bit mo
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan Carpent
e
r
db: shift so
m
e co
d
e around in
stor
i
ng return r
a
n
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
D
a
n
Carpenter
compariso
n
:
create expr_equal
/
lte_
t
o_param() function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-13
Dan
Carp
e
nte
r
c
o
mparison
:
s
p
l
i
t range_c
o
mparison_to_param
(
) into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
c
o
mparison: handl
e
me
r
g
in
g
comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
helper:
f
i
x
es to
the last expr_to_var
_
sy
m
() speedup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
e
n
ter
db: fix a b
u
g storing ran
g
e
lists
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
r
anges: ha
n
dle [=
=
p0] return values
c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rp
e
nter
c
o
re: cle
a
r
allocated sma
t
c
h_states at the
end o
f
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan
Carpen
t
er
sma
t
ch: ad
d
-
-
time option f
o
r debugging what tak
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpenter
slist: use a fak
e
cur_slist
f
or hand
l
i
n
g u
n
match
e
d
_states
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpente
r
state
s
:
int
r
oduce __set_fake_cur_slist_fas
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpenter
hooks:
i
ntroduce
A
F
TE
R
_FUNC_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
param_cleared: add some more functions that clear parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Car
p
enter
helper: speed up exp
r
_to_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
cap
p
ed: introduce is_capped_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
an Carpenter
db, comp
a
rison: store ret
u
rn range
compari
s
on
s
in t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan C
a
rpen
t
er
comparison:
p
u
ll get_comparison_s
t
rings() into its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
D
a
n Carpenter
db, compari
s
on, ranges: i
m
p
r
ove how compar
i
sons will
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Dan Carpent
e
r
comparison:
h
andle --/++ modifications better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-12
Da
n
Car
p
ente
r
mo
d
ification_hooks: pass the mo
d
ify expression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpenter
ex
t
ra: reve
r
t p
a
rt of the rec
u
r
s
e
p
a
t
ch which broke
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan
C
a
r
penter
re
c
urse: oops
.
a
d
d EX
P
R_VALU
E
a
n
d fix a va
l
idation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan Carpen
t
er
s
t
ates: in
t
rodu
c
e
_
_set_fake_cur_slist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Dan C
a
rpenter
user_data: pull is_us
e
r_dat
a
_state() into its own funct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-06-10
Da
n
Carpenter
recurse, extra: int
r
oduce has_varia
b
le() and fix
f
orev
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Dan Carpenter
start_state
s
: add it to c
h
ec
k
_list
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
D
an
Carpenter
comparison
,
db:
use comparison informat
i
on
stored in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-27
Da
n
C
arp
e
nter
d
b
:
remove an u
n
use
d
variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpenter
user_dat
a
:
add a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
user_
d
ata
:
introduce
is_capped_user_data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
D
an Carpenter
extra: slist: w
h
ite space chang
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan Carpenter
math: fail
m
ore often
w
ith FUZZY and HAR
D
li
m
i
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
C
arpenter
sval:
make some more fixes
to
sval
_
b
ino
p
_
o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-23
Dan
Carpenter
local_
v
a
l
ues: s
t
ore correct initial value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Car
p
enter
extra: handle
c
om
p
arisons where the
f
unc
t
ion only returns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpenter
extra:
move
matc
h
_func_comparison() lower in the
file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
D
an Carp
e
nter
estate: preserve the hard ma
x
in
e
s
tate_filter_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Da
n
Carpenter
math: for b
i
twise AND only
use
it for IMPLIED an
d
A
BSOL
U
T
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Carpen
t
er
sva
l
: cast pre
o
p '-' operation
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-22
Dan Ca
r
pent
e
r
sval:
c
a
st bitwis
e
negates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
c
apped:
h
a
ndl
e
postop
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
buf_
s
ize: ha
n
dle bad data
f
rom the
database
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
n
ter
ma
t
h:
u
se corre
c
t
v
a
riabl
e
in
h
andle_condition
a
l_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan C
a
rpent
e
r
c
a
pp
e
d
: use get_hard_m
a
x
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpenter
math:
move some
RL_HARD and RL_EXACT te
s
ts around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Car
p
e
n
ter
math:
s
32min
is not a f
u
zzy min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
math:
reversed condition in
h
andle_divide()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n Carpenter
m
ath: remove dupli
c
a
te bugg
y
co
d
e in get_implie
d
_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
Carpe
n
ter
m
a
t
h
:
put an escape hatch in ha
n
dle_con
d
ition
a
l_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpente
r
m
a
th:
s
w
i
t
ch to using
RL_ en
u
ms directly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Ca
r
penter
math: d
e
lete
old unus
e
d code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
math: cleanup _get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
states: fix
some lea
k
s
o
f the
fake_cur_slist
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
a
n
C
arpenter
*new* smat
c
h_
s
tart_sta
t
es
.
c: record th
e
state
s
at
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
db: fix c
r
ashing bug as a result of math changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Da
n
Carpenter
smatch
.
h
:
re
m
ove left over dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Ca
r
penter
check_held_
d
ev: small sp
e
l
ling fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpenter
db: don't que
r
y return_values table any mo
r
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
Carpen
t
er
math: clean
u
p the rest of handle_binop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
arpenter
math: fix new handle_c
o
nditional_rl() co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan Carpenter
math: introduce
h
andle_di
v
ide_
r
l
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
Dan
C
ar
p
enter
ma
t
h: couple bugs in h
a
n
dle_subtract_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-21
D
an Ca
r
penter
s
val: f
i
x sval_binop_over
f
lows() h
a
nd
l
i
n
g of
s
ubtraction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan C
a
rp
e
nter
math: remove some
d
ead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
ma
t
h: introd
u
ce
n
ew handle_subtract
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
mat
h
:
create
n
ew handle_righ
t
_
shift() f
u
nctio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpe
n
ter
m
ath: make new handle_know
n
_binop() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
an Carpenter
math: create new handle_bitwise_AND() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: i
n
trod
u
c
e handle_mod_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math:
create
h
ackish tem
p
orary handle
_
bino
p
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n
Carpenter
math:
cr
e
ate new handle_minus_preop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math: create new ha
n
dl
e
_bitw
i
se_negat
e
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
ar
p
enter
math: introd
u
ce handle_expressi
o
n
_stat
e
ment_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arp
e
nt
e
r
ma
t
h: use handle_va
r
iable()
i
n h
a
ndle_preop_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
D
a
n Car
p
e
n
te
r
math:
i
ntroduce handle_nega
t
e_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Car
p
enter
math:
i
ntr
o
duce handle_amp
e
rsand_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
arpenter
math
:
hack u
p
a te
m
porary handle_preop_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math
:
handle EX
P
R_POSTOP with _get_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpente
r
mat
h
: in
t
roduce handle_con
d
itional_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Ca
r
p
enter
math: introduce han
d
le_log
i
cal_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: introduce
h
an
d
le_compa
r
ison_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
math: c
r
eate handle
_
c
a
ll
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Da
n
Carpe
n
ter
math: cr
e
ate handle_variable(
)
instead of _get_implied_value()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan Carpenter
m
ath: move get_const_value() forwa
r
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
r
pent
e
r
math: handle
casting i
n
_get_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-05-20
Dan
C
a
rpenter
m
a
th: fix up
some
t
h
i
nkos
i
n t
h
e
_
get_
r
l
(
) transition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next