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
function_hooks: move registration to the right place
2012-05-18
Da
n
Carpente
r
mod
i
fic
a
tion_ho
o
ks: co
m
plet
e
rewri
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan Ca
r
penter
db: print the SQL queries when --debug i
s
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arp
e
nter
clea
n
up:
u
s
e
valid_pt
r
_min
/
max
.
get rid of POINTER_MA
X
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Car
p
enter
e
xtra:
dereferencing a poi
n
ter me
a
ns it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
penter
implied: clea
n
u
p
debug ou
t
put a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carpenter
slist: pull
s
h
ow_sm() into a separate functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
check_kern
e
l: ERR_P
T
R() returns
n
on-N
U
L
L
(
m
o
stly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
dereference checks: use t
h
e c
r
o
ss function
info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpe
n
ter
*n
e
w* che
c
k_de
r
eferenc
e
s_param: list functions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
Carpenter
*
new* retur
n
s
:
merge all sli
s
ts
from
a
ll return
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db: add call_i
m
pli
e
s tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
l
o
w: p
r
in
t
a different filename
when
-
-info o
p
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
n
ter
d
e
ref: fix a typo in the
e
rr
o
r mess
a
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n C
a
rpenter
user_d
a
ta: track us
e
r data that is re
t
urned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Ca
r
pen
t
er
bool_implicati
o
ns: remo
v
e de
b
uggin
g
output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan C
a
rpenter
fix
com
p
ile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Car
p
enter
g
eneri
s
ize
.
pl: s
t
rip
a
ll s
t
rings
not just
t
he f
i
rst
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
Ca
r
penter
buf_size:
Add a NULL
check to get
_
arr
a
y_si
z
e_b
y
tes
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n
Carpe
n
ter
*new*
s
izeo
f
_
p
ointer: usin
g
s
i
zeof
(
p) where
sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpe
n
t
e
r
overflo
w
: check memcpy() to see
if w
e
're comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
extra: don
'
t reset &
a
rgu
m
e
nts unti
l
the ot
h
er checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an
Carpente
r
fl
o
w: change how "fo
r
(i = 0; ; i++) {
.
.
.
" i
s
han
d
l
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
arpenter
*n
e
w* or_vs_and:
complai
n
about if (x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
enter
sparse: introduce get
_
expression_val
u
e_nomod
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan
Carpenter
t
y
p
e
: i
n
troduce is_po
i
nter()
f
u
nct
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: fro
b
(f
o
o) reset
s
the
value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an C
a
rpenter
extra: foo((void *)&x) writes to x
pr
o
bably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
ranges: introduce i
n
vert_range
_
list(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: h
a
ndle __sm
a
tch_implied(
&
x
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpent
e
r
r
a
nges: commit range
_
lists_equ
i
v()
so that bool_impli
c
a
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
sm
d
b_param_buf_size
.
s
h: ask d
b
what s
i
ze buffer
s
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
ext
r
a: get_implie
d
_range_lis
t
(
) sh
o
uld handle co
n
diti
o
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpen
t
e
r
buf_size: store buffer sizes in db
(
turned of
f
by
d
efault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
d
b
:
do
n
'
t
die on
SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_implications: make a list of
implicatio
n
s for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n Car
p
enter
math:
h
a
ndle log
i
cal expr
e
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Carpenter
core: p
r
int sm_msg
(
)s befo
r
e
p
arsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
a
rpente
r
para
m
eter_i
m
pli
c
ations
:
gene
r
ate list o
f
funct
i
on
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpent
e
r
db
:
match_return() shouldn't re-implement get_imp
l
ied
_
ra
n
ge_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: sort of han
d
le condi
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
m
a
th: simplify implie
d
_c
o
nditi
o
n_tr
u
e/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpe
n
ter
math: sim
p
lify known
_
condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: hand
l
e __smatch_
i
mplied
(
({frob
(
);
2;})
)
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n
Carp
e
nter
extra, math: mov
e
known_con
d
ito
n
_true/
f
alse() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpent
e
r
project: fix
p
aramete
r
im
p
licat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
help
e
r
:
introduce ge
t
_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carpenter
db: print
all
retu
r
n
v
alues at end of func
t
io
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Ca
r
pent
e
r
db: add
s
ome smdb
_
scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_d
b
_return_info: fix out da
t
ed p
a
rsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpen
t
e
r
extra: always
initialize the range in
get_
i
mplied
_
range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_i
m
plied_
r
ange() for functi
o
n calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Car
p
enter
check_macros:
c
leanup: use position
s
_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: ta
k
e a st
r
uct
position, not a
p
oi
n
ter to a struct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
arp
e
nter
implied: cleanup: mo
v
e dubug prin
t
f
s
to their
o
wn function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
n
t
e
r
r
a
n
ges:
g
et ri
d
of p
o
ssib
l
y_(true/fal
s
e)_r
a
ng
e
_
l
ist
_
ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ranges: cle
a
nup:
m
ove
t
rue_comparison_range_l
r
() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
n
t
e
r
extr
a
:
ad
d
parameter
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ran
g
es: intro
d
uce cl
o
ne
_
p
e
rmanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arp
e
nter
ranges: initialize the poin
t
er in get_value_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ignore functions which are
c
alle
d
a
l
ot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carpen
t
er
type:
e
xport get_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n
Carpenter
db: add
cod
e
to
hack up
the
databa
s
e with
pro
j
ec
t
specific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an 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 Carp
e
nt
e
r
type
:
sizeof() is
unsig
n
ed long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions
:
sparse never seems to us
e
SPECIAL_UNSIGNED_
G
T
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper: introduce
p
ositions_e
q
(pos1, pos2)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Car
p
ent
e
r
b
u
ild_kernel_data
.
sh:
m
a
ke it execu
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macro_sid
e
_effects: silen
c
e false positives in
s
ide
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpente
r
t
es
t
_kernel
.
sh:
c
re
a
te a bak
.
sm
a
tch at the
beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
*new* check_macro
_
side_effe
c
ts:
m
acr
o
s which ev
a
l
u
ate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpe
n
ter
flow: ignore __
b
uiltin_cons
t
a
n
t
_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Carpenter
sparse
:
set t
h
e scope->toke
n
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tr
e
e
.
pl: Th
i
s
was sti
l
l usin
g
the
old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpen
t
e
r
build_kernel_data
.
sh:
add --
c
all-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
loc
k
ing:
i
gnore unre
a
chable unlocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
loc
k
ing: white space
c
hanges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Da
n
C
arpenter
new_b
u
gs
.
sh: fix
i
t for
g
c
c an
d
sparse warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lockin
g
: tons of lock
s
w
e
re ignored because of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpente
r
token_st
o
re: creates a position
-
>
token mapp
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
n
t
er
M
erge
b
ranch '
d
e
v
el2'
commit
|
commitdiff
|
tree
2012-03-08
Dan C
a
rpe
n
ter
*n
e
w
* ch
e
ck_bit
_
sh
i
ft
.
c:
(foo
& BAR
)
vs (fo
o
& (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Ca
r
penter
*new*
po
i
nter_math: complain a
b
out ptr + sizeof() w
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
Dan Ca
r
penter
type: ex
p
ort ge
t
_poi
n
ter_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Ca
r
pe
n
ter
type: e
x
p
ort get
_
poi
n
t
e
r_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Car
p
e
nter
flow:
fix segfaul
t
on parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
h
o
oks:
add CAST_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpen
t
er
t
y
pe: add
n
r_bi
t
s(struct expression
*expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: d
e
lete
t
h
e get_range_list() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutsk
i
y
Makef
i
le:
d
o not i
n
s
tall sparse and
c
gcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
new: smatc
h
_
s
cripts/b
u
ild_kernel_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpenter
new:
s
match_scr
i
pt
s
/
t
es
t
_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpenter
rang
e
s: make
possib
l
y_true/false() take express
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
a
rpent
e
r
expressions: n
e
w f
i
le smatch_expressi
o
ns
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
an Car
p
enter
tree wide:
d
on
'
t pri
n
t off
s
et
i
nto fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Car
p
enter
generize
.
pl:
m
ake it wo
r
k
for sparse warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpen
t
er
esta
t
e: don't re
u
se ext
r
a_undefin
e
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
c
o
ntraints: add
o
p
t
io
n
--debug-r
e
lated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpe
n
ter
const
r
aints:
m
ake se
t
_
equiv() take a
n
express
i
on pointe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carp
e
nt
e
r
ex
t
r
a
,
c
onst
r
ai
n
ts: move
set_equiv()
f
rom e
x
tra
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next