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: don't return high values in get_fuzzy_max()
2013-02-05
Da
n
Carpenter
math: don't return high values in get_fuzzy
_
max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan Carpenter
overfl
o
w: f
i
x
fal
s
e positive allocating a vo
i
d po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
D
a
n
Carpenter
buf_si
z
e
:
fix b
u
g caused by get_imp
l
i
ed_
m
ax() retur
n
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
D
a
n Carpenter
d
b: prin
t
less --inf
o
for a few proble
m
at
i
c
funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-04
Dan
C
ar
p
ente
r
mat
h
: get_implied_max() sho
u
ld be able t
o
retur
n
s32max
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpente
r
sv
a
l
:
only print "s3
2
max"
if th
e
value is actually
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
D
a
n Carpen
t
er
math
:
get_implied_min()
shoul
d
b
e able to return
s
32min
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carpenter
m
ath: tweak ge
t
_fuzzy_math()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-03
Dan Carp
e
nter
e
x
tra, db: handl
e
passi
n
g cha
r
s to
p
arameters which
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
math: use NOT
I
M
P
LIED instead of HARD_MIN
in opposi
t
e
_i
m
plied()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
D
an C
a
rpenter
mat
h
:
set
t
he "undefi
n
e
d
" flag on
erro
r
i
n handle_m
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Dan C
a
rpenter
o
r_vs_a
n
d
:
ha
n
dle conditions
inside paren
t
hesis
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-02-01
Em
i
l Tantilov
smatch: fi
x
build erro
r
commit
|
commitdiff
|
tree
2013-02-01
Dan Carpenter
type: intro
d
uce i
s
_void_point
e
r() and
is_char_pointer(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
Dan Carpenter
a
b
s
o
lute: de
l
ete
s
m
atch_absolute
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-31
D
a
n Carpenter
*new* che
c
k_string_len
.
c
:
l
ook for sprintf() overflow
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
e
x
t
r
a, m
o
dificati
o
n_hooks, db
:
move g
e
t_variable_fr
o
m_
k
ey
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
ex
p
ressions: use m
o
re accurate p
o
si
t
ions for fake dereferen
c
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
modi
f
i
c
a
tion_hooks: use modification info
f
r
om t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
e
x
tra,
equiv: ma
k
e call_ex
t
ra_
m
od_
h
oo
k
s() gl
o
ba
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan
Car
p
enter
modification
_
h
o
o
k
s: split out
call
_
modifica
t
ion_hooks_na
m
e
_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
type
:
handle strin
g
s bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan
C
arpe
n
ter
equiv: cal
l
_extra
_
mod_hooks() inside set_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
buf_size: don't call get_expressio
n
_
v
alue()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-28
Dan Carpenter
smatch: cr
e
a
te
a lo
c
al_debu
g
(
) macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
Dan Carpenter
smatch
.
h, db: add numbers t
o
the info_type en
u
m
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-24
Da
n
Carpenter
deref:
sp
e
lling: dere
f
encin
g
=> d
e
referencing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpente
r
math:
c
a
l
cula
t
ing the sizeof() use
d
to m
o
d
i
fy the e
x
pression
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
math: use smatch_comparison
.
c for handling s
u
btract
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpent
e
r
extra, modi
f
icati
o
n_hook
s
: set "*p" to
u
nkno
w
n if
w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Da
n
Carpente
r
smatch_
e
xp
r
essions:
intro
d
uce deref_ex
p
ression()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-23
Dan Carpenter
smatch_expression
s
:
ren
a
m
e deref
_
e
x
press
i
on(
)
to member_exp
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
all:
rename
e
x
p
r
_
to_s
t
r
_complex
(
) t
o
exp
r
_
to_str
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Carpenter
smat
c
h
:
ren
a
me e
x
pr_to_str()
t
o expr
_
to_var()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-22
Dan Car
p
enter
missing b
r
eak: only print one message per
switc
h
statemen
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carpenter
extra: get r
i
d of d
a
ta_type enum
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-18
Dan Carpente
r
debug: add
_
_sma
t
ch_compare()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
Dan Carpe
n
te
r
math: imp
r
o
v
e get_implied_rl() i
f
only the max is known
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
D
a
n Car
p
enter
s
v
al: i
n
troduce sval_min/max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-17
D
a
n
C
arpenter
smatch_comparison: store how t
w
o variables
c
ompare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan C
a
rpenter
slist: f
i
x
alignment in a
l
lo
c
_sname()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
D
a
n Carp
e
nter
va
l
idation: updat
e
a couple scripts with missing
break
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpe
n
ter
Makefile:
fix
b
u
ild error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpe
n
t
er
e
quiv: get rid of t
h
e
->op memb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-15
Dan Carpen
t
er
equiv: upd
a
te some comments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
D
an Carpente
r
con
s
t
r
aints: equiv:
r
ename smatch_constraint
s
.
c to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-14
Dan Ca
r
p
e
nte
r
r
ange
s
: rename
s
how_ranges() to show_
r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpen
t
er
smat
c
h: introduce expr_to
_
str_complex()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
smatch: introduce expr_
t
o_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
s
match: renam
e
get_variable
_
f
rom_expr() to ex
p
r_to_str_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
smatch: rename get_variable_
f
rom_exp
r
_complex() to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpenter
e
xtra: shuffle smatch_extra
.
h around some
more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpe
n
ter
estate: rename fil
t
er_range() t
o
estate_filter_ran
g
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpenter
estate:
renam
e
estate
_
ranges() to e
s
tate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpente
r
e
s
tate: rename is_whole_
r
ang
e
(
)
to estat
e
_is_whole()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan C
a
rpent
e
r
estate
:
re
n
ame extra_undefined() to a
l
loc_estate_who
l
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carp
e
nter
estate: ren
a
m
e
al
l
oc_estate_ra
n
ge_list(
)
to alloc_estate_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
e
sta
t
e: rename a
l
loc_esta
t
e() to a
l
loc_estate_sval()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
estate: sh
u
ffle
s
t
uff a
r
o
u
nd in the
header file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Ca
r
penter
ra
n
ges: rename free_range_list() to free_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
ranges: renam
e
get_implied_ran
g
e
_
list() to get_implied_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
Carpe
n
ter
ranges
:
rename push_ran
g
e_list() a
n
d f
r
ie
n
ds to push_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ranges: rename
ra
n
ge_lists_equiv() to rl_equiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
range
s
: rename possibly_true_range_lists() to pos
s
i
b
ly_true_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
ra
n
ges: shu
f
fle smatch_e
x
tra
.
h
around
s
o
m
e more
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
Carpen
t
er
ranges: rename true_
c
omparison_
r
ange_lr(
)
to true_comparison
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpen
t
e
r
r
a
nges: rename parse_val
u
e_ranges_type() to str_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n Carpenter
ranges: ren
a
me alloc_range_list() and friends to allo
c
_rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan
C
arpen
t
er
ranges: shuffle stuff aro
u
nd in t
h
e
header file and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Carpenter
r
a
n
ges: r
e
name
range_
l
ist_union() to rl_union()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
an Ca
r
penter
missing_break: fix a
s
eg
f
au
l
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
sizeof: sizeof(ptr
* nr_ptrs)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpen
t
er
s
i
ze
o
f: check for si
z
eof(sizeof())
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
D
a
n
Carpenter
s
i
z
eof:
f
inish renaming
proc
e
ss
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
sizeof: mv check
_
sizeof_pointer
.
c check_si
z
eof
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Dan Carpenter
t
oke
n
_
s
tore: split
out f
i
rst
_
token_
f
rom
_
line() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-11
Da
n
Carpenter
*new* check_
m
i
ssing_break
.
c:
c
hec
k
for fall
t
hrough
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-10
D
an Carpenter
type: g
e
t
_
m
ember_type_from
_
key() should take an expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-09
Dan
Carpe
n
ter
param_limi
t
: don't print empty states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an Carpenter
par
s
e: add "__restr
i
c
t__" keyword
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Da
n
C
arpenter
rang
e
s: small speed up in range_lists_e
q
uiv()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
an C
a
rpenter
db: m
a
ke type_sche
m
a
a
bit
s
maller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Car
p
ent
e
r
gen_paholes
.
sh: Don't d
o
anything if the necessary
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Ca
r
penter
extra: don't over
w
r
ite cros
s
fun
c
t
i
on values from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
D
a
n
Carpenter
db: extra: param_l
i
mit/
f
ilte
r
/s
e
t
: re
d
o value tracing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carpenter
extra: create a
cal
l
ba
c
k f
o
r when smatch_e
x
tra
c
ha
n
g
e
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-08
Dan Carp
e
nter
extra: cre
a
te s
e
t_extra_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Dan Carpen
t
e
r
db: fixup printing return info f
o
r dif
f
ic
u
lt t
o
split
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2013-01-07
Da
n
Carpenter
math: h
a
ndle ORs better in handle_logical()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-19
D
an Carpente
r
extra: call set_extra_mod() from se
t
_extr_expr
_
mod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
D
a
n Carp
e
n
ter
db:
h
a
n
dle unchanged return_states bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Dan Carpente
r
param_limit:
fi
x
read beyond end of array (segfault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-18
Da
n
C
a
rp
e
n
ter
sign
e
d
: handle it when the type is unknown
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
Dan Carpenter
db: make some
v
archar
dec
a
l
a
ra
t
ions smaller
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-16
D
a
n Carp
e
nt
e
r
signe
d
: remov
e
some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpente
r
db: make the size li
m
it f
o
r th
e
da
t
abase l
a
rger
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-15
Dan Carpenter
param_limit: don't
print u
n
n
eeded informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
D
an Car
p
enter
db: remove return_imp
l
ies table and related code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Dan Carpenter
smatch_para
m
_
l
imit: extra: store
p
arameter implications
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-12-14
Da
n
Carpe
n
t
er
db: pri
n
t
return_states i
n
formati
o
n in a mo
r
e
d
e
t
a
il
e
d way
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next