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
ranges: add possibly_true/false_range_lists_rl()
2012-05-21
Dan Carpent
e
r
ranges: add
p
o
ssib
l
y_t
r
ue/false_range_lists_rl
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
overflow
:
automatic
a
lly
list
functions tha
t
take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
rpe
n
te
r
modification_hooks:
c
omplete rewri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpenter
db: print t
h
e SQL queries wh
e
n --
d
ebug is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
C
a
rpenter
cl
e
anup: use valid_ptr_min/max
.
g
et rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
extra: d
e
r
eferencing a
p
oi
n
t
er
m
eans it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
nt
e
r
i
mplied: cleanup debug out
p
u
t
a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
slist:
pull show
_
s
m
() into a separate
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
a
rpenter
check_kernel: ERR_PTR()
r
et
u
rns non-NULL (mo
s
tly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
deref
e
rence chec
k
s: use the cross function info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_dereferences_
p
aram: li
s
t func
t
ions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an
Carpenter
*
n
ew* ret
u
r
ns: m
e
rge all slists from
a
l
l
retu
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an
C
arpenter
db: ad
d
c
a
ll_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpe
n
ter
flow: print a
different
f
ilename when --info opti
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
deref: fix a typo in th
e
error
mess
a
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpenter
user
_
dat
a
: track user data that
is returned to othe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpe
n
ter
bool_im
p
lications: remove debu
g
gin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carpente
r
fix
compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
rpenter
generisize
.
p
l: strip
a
ll
strin
g
s not just the
f
i
r
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Car
p
enter
buf_size: Add a N
U
LL check
t
o get_array_si
z
e_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carp
e
nter
*n
e
w*
s
i
z
eof_po
i
nter: using sizeof(p) w
h
ere sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
o
v
erflow: check m
e
m
cpy() to see if we're comparin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Car
p
enter
extra: don
'
t
r
eset &arguments
until t
h
e other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
f
l
ow: c
h
a
n
ge how "
f
or (i = 0; ; i++
)
{
.
.
.
"
i
s
handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
ente
r
*new* or_
v
s_and:
c
omplain
a
bout if (x != 3
|
|
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
D
a
n
C
ar
p
enter
spar
s
e: introd
u
c
e get_expression_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
t
ype: i
n
t
rodu
c
e is_poin
t
er() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
Carpenter
e
xtra: f
r
ob(foo) resets th
e
va
l
u
e
of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ext
r
a: foo((void *)&x) w
r
ites to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges:
i
ntrod
u
c
e in
v
ert_range
_
list
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Da
n
Carpenter
math:
handle __sma
t
c
h_
i
m
plied(&
x
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n Carpenter
ranges
:
comm
i
t range_lists_equiv() so tha
t
bool_implicati
o
ns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_buf
_
size
.
sh: as
k
db
w
hat size buffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_
i
mpl
i
ed_range
_
li
s
t() should h
a
ndle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
u
f_
s
ize: sto
r
e buffer
s
izes
i
n
d
b
(
t
urned of
f
by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an
C
arpenter
db: don't
die on S
Q
L errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
boo
l
_i
m
plications:
m
ake a list of implications for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle logi
c
al expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
c
o
re: print sm_msg()s before parsing
s
tarts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpen
t
er
parameter_implications:
g
enerate list of
f
u
nctions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
pe
n
t
e
r
db: match_re
t
u
r
n(
)
sh
o
uldn
'
t re-im
p
lement
g
et_implied_rang
e
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
m
at
h
: so
r
t
o
f handle
con
d
itions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
e
n
ter
m
ath: simp
l
ify impli
e
d_condition_true
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an C
a
r
p
enter
math:
s
implify kno
w
n_condition_true/false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
math: handl
e
_
_smatch_i
m
plied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: handle foo = !
2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
extra, math
:
mo
v
e know
n
_co
n
dit
o
n_t
r
ue/f
a
lse() et
c
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
enter
proje
c
t
:
fix parameter i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
enter
he
l
per: introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpent
e
r
db: prin
t
all return
values a
t
e
nd o
f
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carp
e
nter
db: add some sm
d
b_ script
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Ca
r
penter
fill_db_return_inf
o
:
fix ou
t
d
a
ted parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
extra:
a
l
ways i
n
itialize
t
he r
a
nge i
n
get_implied_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
pen
t
er
extra: fix get_implied_range
(
) f
o
r fun
c
tion cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
c
heck_macros: cleanup: use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carp
e
nter
macro:
take a struct position, not a pointer to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an
Carpenter
i
m
p
lied: cleanup: m
o
ve dubug printfs t
o
their own
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpente
r
ranges: get r
i
d of possibly_(true/false)_range_
l
ist_ls(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carp
e
nter
ranges:
clean
u
p: move true_comparison_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpent
e
r
e
x
t
r
a: ad
d
parameter impli
c
at
i
on
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
ranges: introdu
c
e clone_p
e
rmanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: initialize the poi
n
ter in g
e
t_value_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignore function
s
which are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
t
e
r
t
y
pe: export get_real_ba
s
e_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpenter
db: ad
d
code
t
o hack
u
p
t
he data
b
ase
w
ith
p
roj
e
ct s
p
ecific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
c
ondit
i
o
ns: p
r
eserve
|
=
as
t
he assign op i
n
foo
|
=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpent
e
r
typ
e
:
sizeof() is
un
s
igned l
o
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n
C
arpe
n
ter
co
n
ditions: spa
r
se never see
m
s to use SPECIAL_UNSIGNED
_
GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpe
n
ter
hel
p
er:
i
ntroduc
e
posit
i
ons_eq(pos1, pos2) functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
D
an
Carpen
t
er
build_kernel_data
.
sh: make it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
mac
r
o
_
side_effects: silen
c
e
false p
o
sit
i
ves in
s
ide
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpen
t
e
r
t
e
st_ke
r
n
e
l
.
sh: cre
a
t
e a bak
.
s
m
a
t
ch a
t
the begin
n
i
n
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carpen
t
er
*ne
w
* check_macr
o
_side_effects:
macros whic
h
ev
a
luate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow: i
g
n
o
re __buil
t
in_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
sp
a
rs
e
: set t
h
e scope
-
>
token me
m
ber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
er
call_tree
.
pl:
This was still
u
si
n
g the
o
ld for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpe
n
t
e
r
build_ker
n
el_da
t
a
.
sh: add
--call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpe
n
ter
locking: ignore
u
nreach
a
ble
u
nlo
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
l
ocki
n
g
: whit
e
s
p
a
c
e chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nter
new_bugs
.
s
h
: fix it
f
or gcc and s
p
arse warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n
C
a
rpe
n
ter
l
o
cki
n
g
: tons of l
o
c
ks were ign
o
r
e
d beca
u
s
e of
c
ha
n
ges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan C
a
rpenter
token_store: creates a position
-> toke
n
map
p
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
Merge b
r
anch 'dev
e
l2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Car
p
en
t
er
*
new*
c
he
c
k_
b
it_shift
.
c: (foo & BAR) vs (fo
o
& (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*n
e
w*
pointer
_
math: comp
l
ain about ptr
+
s
izeof() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan
C
arpent
e
r
type:
export get_pointer_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpe
n
ter
type: export get_pointer_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Car
p
enter
flow: fix s
e
gfault on
pa
r
se
e
r
ror
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
hooks: add CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpenter
type:
a
d
d nr_bits(
s
t
ruct exp
r
essio
n
*
expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: delete the ge
t
_ra
n
ge_l
i
st() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smatch_
s
crip
t
s/bui
l
d_kerne
l
_da
t
a
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpen
t
er
new:
s
match_script
s
/test_ke
r
nel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
Carpenter
ranges
:
make possib
l
y
_
t
rue/fa
l
se() take exp
r
ession
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
expressions: new fil
e
s
match_ex
p
r
e
ssions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpent
e
r
t
r
ee wide: don't
pr
i
nt off
s
et into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
generize
.
pl: make it work f
o
r sparse warnings as
w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Da
n
Carpenter
estate
:
don
'
t
reuse extr
a
_unde
f
ine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
a
n Carp
e
nter
contraints: add
option --debu
g
-
r
elated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Ca
r
penter
con
s
traints: make set_equiv() take an expre
s
sion pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next