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
db: create return_states table
2012-05-18
D
a
n
C
arpenter
modif
i
cation_hooks
:
co
m
plete rewri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
a
rpenter
db: print the SQL queries when --deb
u
g is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpenter
cleanup:
use v
a
lid_ptr_min/max
.
get
r
id of POINTER
_
MA
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pe
n
ter
extra: deref
e
rencing a pointe
r
means it is val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carpenter
impli
e
d
:
cleanup debug output
a
littl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
slist
:
pull sh
o
w_
s
m() into a
separate
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carpenter
ch
e
ck_kern
e
l: ER
R
_P
T
R() r
e
turns non-NU
L
L
(
mostl
y
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
a
r
penter
dereferenc
e
chec
k
s:
u
se the
cross f
u
nc
t
i
o
n info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
*new* check_der
e
ferences_param: l
i
st functio
n
s that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* returns
:
m
e
r
ge
a
ll s
l
ists from all
r
e
tur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carp
e
nter
db: add call_implies table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpente
r
f
l
ow: print a different filename when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
eref: fi
x
a typo in
t
h
e erro
r
m
e
ssage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user
_
data: tr
a
ck
u
se
r
data that is retur
n
ed to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
C
a
r
penter
bool_implica
t
io
n
s:
r
emove debuggin
g
outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan Car
p
enter
fix compile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carpenter
generisiz
e
.
p
l: st
r
ip a
l
l strings not jus
t
the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Carpenter
buf_size: A
d
d a NUL
L
check to get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeof_pointer: usin
g
sizeo
f
(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
o
v
erflow: check memcpy() to se
e
if we're com
p
aring
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
e
xtra
:
don't
r
eset &arguments
u
ntil t
h
e other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpenter
flow: chang
e
h
o
w "
f
or
(
i = 0
;
; i++) {
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
*new* or_
v
s_an
d
: c
o
mplai
n
abou
t
if (x != 3 |
|
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Ca
r
penter
sparse: intr
o
d
uce
g
et_e
x
p
res
s
ion_
v
alue_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carp
e
nte
r
type: in
t
rod
u
ce is_p
o
i
nter() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
ext
r
a: frob(foo) rese
t
s the va
l
ue of *
f
oo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
arpenter
e
x
tra:
f
oo((void *)&x) writes to
x
p
r
obab
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carpent
e
r
ranges: introduc
e
invert_ra
n
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: han
d
le _
_
sma
t
ch_implie
d
(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an
Ca
r
p
e
n
t
e
r
rang
e
s
:
co
m
mit ran
g
e_l
i
sts_equiv() so
t
hat
bool_imp
l
ica
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpent
e
r
smdb_par
a
m_b
u
f_size
.
sh: as
k
d
b
wh
a
t size
b
uffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nt
e
r
extra: ge
t
_impl
i
e
d
_range_list()
s
houl
d
handle
conditio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
b
u
f_size: store
b
uffer
sizes in db (tu
r
ned off by
default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nte
r
db: don't die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
bool_implications: make a lis
t
of implicatio
n
s for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
m
a
t
h
:
ha
n
dle logical
expressi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpe
n
ter
c
ore
:
print sm_
m
sg()s bef
o
re pars
i
ng starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
parameter_implications:
g
e
nerate list of fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpen
t
er
db:
match_return() sho
u
ldn't re-implement g
e
t_implied_
r
ange_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpente
r
math: so
r
t of h
a
ndle co
n
ditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
e
r
math
:
si
m
plify implie
d
_
condition_true/fal
s
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pent
e
r
math: simpl
i
fy known_con
d
ition_
t
rue/fa
l
se()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpe
n
ter
m
a
th: handle __sma
t
ch_im
p
lied(({frob(); 2;})
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: handle foo = !
2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Ca
r
penter
extra, math: move
known_con
d
iton_t
r
ue/
f
alse(
)
etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpente
r
project: fix parameter
i
mplicat
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
ter
helper: intr
o
duce get_member
_
name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
C
ar
p
enter
db: print all
return value
s
at end of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db:
a
dd some smdb_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
f
i
l
l
_db_return_info: fix ou
t
da
t
ed
parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpen
t
er
extra: always ini
t
ialize the range in get_implie
d
_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpent
e
r
ext
r
a
:
fix
g
et_
i
m
plied_range() for fun
c
tion calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
check_
m
acros: cleanup: use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
r
penter
ma
c
ro:
take a s
t
ruc
t
posi
t
ion, not a poi
n
ter to a s
t
r
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpen
t
er
implied: cleanup: move du
b
ug printfs
to their own
f
unct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
range
s
: get rid of possibly_(true/false)_ra
n
ge_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges
:
c
l
ea
n
up: move true_comparison_range_lr
(
) into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpenter
ex
t
ra: a
d
d
p
arameter im
p
l
ic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpe
n
ter
rang
e
s: introduce clone_
p
e
rmanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
Carpen
t
er
ranges:
initiali
z
e the point
e
r
i
n get
_
value_r
a
nges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
d
b
: ig
n
o
r
e functions wh
i
ch are calle
d
a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
typ
e
: expor
t
get_real
_
b
a
se_t
y
pe()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan C
a
rpenter
db: add code
t
o ha
c
k up th
e
d
a
tab
a
se with project sp
e
cific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions
:
preserve |= as the assign op in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpen
t
er
type: sizeof() is unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
a
rpenter
conditions
:
sparse
never se
e
ms to use SPECIA
L
_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper:
i
ntroduce po
s
itions_eq(pos1, po
s
2)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Ca
r
pe
n
ter
build
_
k
e
rnel
_
d
a
ta
.
sh: m
a
ke it executable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
m
a
c
ro_side_effects: silence false positives ins
i
de
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kerne
l
.
s
h
: create a
b
ak
.
smat
c
h at the
b
eginnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
*new* check_macro_si
d
e_e
f
fects
:
macros whic
h
e
v
aluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carpenter
f
l
ow
:
ignore __built
i
n_co
n
s
t
a
nt_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Car
p
enter
sp
a
rse: set the scope->token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan
C
a
rpenter
call_tree
.
pl:
T
h
i
s was
s
t
i
ll using the
old for
m
at
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
build_kernel_data
.
sh: add -
-
call-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpe
n
ter
loc
k
ing
:
igno
r
e unreacha
b
le un
l
ocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
ar
p
enter
locking: whit
e
spa
c
e changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpe
n
ter
new_
b
ugs
.
sh: f
i
x it for
g
cc
and sparse war
n
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
Carpenter
locking: tons of lo
c
ks were i
g
nored because of ch
a
nges
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan C
a
rpenter
token_store: cr
e
ates a pos
i
ti
o
n ->
t
oken
mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
D
a
n Carpenter
Merge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
D
an Carpenter
*
n
ew* che
c
k_bit_shi
f
t
.
c:
(
foo & BAR) vs (
f
oo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan C
a
rpenter
*n
e
w*
p
ointer_ma
t
h: compla
i
n about ptr
+
sizeof() wh
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan C
a
rpenter
type: expor
t
get_pointer_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Car
p
e
nter
type: export get_pointer_
t
ype
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carp
e
nter
f
low: fix
seg
f
a
ult on p
a
rse erro
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
h
o
oks: add CA
S
T
_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an
Carpenter
type:
add
nr
_
bits(struct expressi
o
n *expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpe
n
ter
ex
t
r
a
:
d
e
l
ete the
get_range_li
s
t
() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
ter
new: s
m
atch_scripts/bui
l
d
_
kernel_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
t
er
new: smat
c
h_script
s
/test_k
e
r
n
el
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpente
r
ranges:
make
possib
l
y_true/f
a
lse() tak
e
expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpent
e
r
expr
e
s
s
ions: new file smatch
_
e
x
pressions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carp
e
n
ter
tree
w
ide: don't print offset into
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Ca
r
penter
generize
.
pl: make it work for sparse warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Ca
r
penter
es
t
a
t
e: don't reuse
e
x
tra_undefine
d
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan
Carpenter
co
n
train
t
s
:
a
d
d o
p
tion --debug-rel
a
ted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpenter
cons
t
raint
s
: make set_eq
u
i
v
()
t
a
ke
a
n expression pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
e
xtra, constraints: move set_
e
qu
i
v() from e
x
tra t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
D
an Carpent
e
r
d
e
bug
:
add __smatch_
d
um
p
_re
l
at
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next