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: type_size: silence a perl warning
2012-05-22
Dan Carpe
n
ter
chec
k
_
dereferen
c
e: en
a
ble
t
his
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
d
b
:
s
tore whethe
r
f
u
nctions
a
re global
o
r static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
tr
a
cker: remove unused clone_tracker_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Da
n
Carpenter
s
list
:
bu
f
f
e
r overflow in deb
u
gging code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan
C
a
rpenter
user_d
a
ta: fix NU
L
L dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n Carpenter
db: white
s
pa
c
e
c
l
e
anups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
D
a
n
Carpen
t
er
d
b
: m
o
ve parameter_
i
mplications in
t
o
the dat
a
base
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add possi
b
l
y_true/false_range_lists
_
r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
Carpenter
overflow: autom
a
tica
l
l
y
l
i
st functio
n
s that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
D
a
n
Ca
r
penter
mod
i
f
i
c
a
tion
_
hooks: complet
e
rewr
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
a
r
p
enter
db: p
r
i
nt the SQL queries wh
e
n
--debug is o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
rpenter
cleanup: use valid_ptr_min/max
.
g
e
t rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra:
d
e
r
efe
r
en
c
ing a poi
n
ter
m
ea
n
s i
t
is vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n C
a
r
p
enter
imp
l
ied: cleanup debug
o
u
t
p
u
t a lit
t
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: pu
l
l
show_sm
(
)
i
n
t
o
a separate fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
penter
check_k
e
r
ne
l
: ERR_PTR()
r
eturns non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
d
er
e
f
erence checks:
use the cross function
info
f
ro
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
a
r
penter
*
new*
ch
e
ck_dereferences_para
m
:
list fun
c
tions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*n
e
w* returns:
me
r
ge all
slists from all
r
eturns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
db: add call_impli
e
s
t
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
flow:
p
r
i
nt a differe
n
t
fi
l
ename whe
n
-
-info
o
ption
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Car
p
enter
d
eref: fix a typo in the er
r
or messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Car
p
enter
user_
d
ata: tr
a
c
k
u
ser data that is
r
e
turned
t
o othe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpente
r
bool
_
implicatio
n
s: remo
v
e debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
C
a
r
pen
t
er
f
i
x compile o
n
U
b
untu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpenter
gener
i
size
.
pl: stri
p
all st
r
i
ngs not jus
t
t
he first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpenter
buf_size: Add a NULL
check to get_array_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
*new* siz
e
of_p
o
inter: using
s
izeof(
p
)
where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
er
overf
l
ow: check memcpy
(
) to see
i
f
w
e're
comp
a
ring
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
e
xtra: don't reset &arguments until the o
t
her checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
f
l
ow: cha
n
ge how
"for (i = 0; ;
i++) {
.
.
.
" i
s
handle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
*new* or_vs_and: complain about if (
x
!= 3
|| x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
D
a
n Carpe
n
ter
sparse: introd
u
ce get_
e
xpre
s
sion_value_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Da
n
Carpent
e
r
type: introduce is_p
o
inter() functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: frob(foo) resets
t
he va
l
ue of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
a
rpent
e
r
extra: foo((void *)&x) writ
e
s
to x
proba
b
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carp
e
nter
ranges: introduce inver
t
_
r
ange_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Car
p
enter
math: handle __smatch_implied(
&
x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpe
n
ter
ra
n
ges: commi
t
range
_
l
ists_equiv() s
o
t
h
a
t
bool_
i
mpl
i
cations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
s
m
db_pa
r
am_buf_size
.
sh: ask db w
h
a
t siz
e
buff
e
rs ar
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n C
a
r
p
ente
r
ex
t
r
a: g
e
t_implied_ran
g
e_list() should
h
andle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an C
a
rpen
t
e
r
buf
_
size:
s
tore buffe
r
sizes in db (tur
n
ed of
f
by default)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Ca
r
pe
n
t
e
r
db: don't die on SQL
er
r
o
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_i
m
p
lic
a
tio
n
s:
make a list of
implic
a
tions for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
math: handle
lo
g
ical expressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
an Car
p
enter
core
:
print sm_msg()
s
bef
o
re
p
arsing sta
r
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
paramet
e
r_
i
mplications
:
generate li
s
t of func
t
io
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
C
arpent
e
r
d
b:
m
a
t
ch_return() shouldn't re-implement get_i
m
p
li
e
d_range
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
math
:
sort of han
d
le con
d
i
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math
:
simplify implied_conditio
n
_true
/
false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math:
s
i
mpli
f
y known_condi
t
ion_t
r
u
e/false
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
m
a
th: handle __smatch_implied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
r
p
enter
math: handle foo = !
2
;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
p
enter
extra, math: move
k
nown_condit
o
n_
t
rue/false
(
) etc fr
o
m
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpe
n
ter
pro
j
ect:
fi
x
parameter
i
mplic
a
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
helper: introdu
c
e get_mem
b
e
r_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db
:
prin
t
all return
val
u
e
s at en
d
of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
D
an Carpenter
db: add some smd
b
_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carp
e
nter
fill_db_
r
eturn_info: fix out
dated
parsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
a
rpenter
extra:
a
l
ways initialize the range in get_
i
mplied
_
range_
l
ist()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
extra: fi
x
g
e
t
_
implied_range() for
f
u
n
ction cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
C
arpenter
check
_
macros:
c
lean
u
p
: u
s
e pos
i
tions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take a
s
t
r
uct position
,
not a
pointer
to
a
str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
imp
l
ied: cleanup: move d
u
b
u
g printfs
to
their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
ranges:
get
rid of possibly_(true/false)_range_lis
t
_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
ra
n
g
e
s
: cleanup: move true_compariso
n
_range_lr() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpen
t
e
r
extr
a
: add
parameter i
m
plicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Car
p
enter
ranges: introduce
clone_perma
n
ent(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
en
t
er
ranges: initialize the pointer in
g
et_value
_
ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
db: ign
o
re fu
n
c
tions
w
hich are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
type
:
export g
e
t
_real_base_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
db: add code to hack up the database with project s
p
ecific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditions:
pres
e
rve |= as
t
he
assign o
p
in fo
o
|=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
t
ype: s
i
ze
o
f
()
i
s unsig
n
ed long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpen
t
e
r
c
on
d
itions: sp
a
rse never seems to
use
S
P
ECI
A
L_UNSIGNE
D
_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
helper
:
int
r
oduce p
o
sitio
n
s_eq(pos1,
pos2)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nter
bui
l
d
_
kernel_data
.
sh:
m
a
k
e it e
x
e
c
u
table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan
C
arpenter
macro_side_effects:
silen
c
e false
p
ositives insid
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_k
e
rnel
.
sh: creat
e
a bak
.
smatch at the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpenter
*new*
c
heck_macro_side_e
f
fects: ma
c
ros which evalu
a
te
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow:
ignore __builtin_c
o
nstan
t
_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpenter
sparse: set the
scope->toke
n
m
ember
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n Ca
r
penter
call_tree
.
pl: This was still u
s
i
n
g
the old f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
D
a
n
Carpenter
build_ker
n
el
_
data
.
sh
:
add --ca
l
l
-tr
e
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
Carpenter
locki
n
g: ignore unreachable unlo
c
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Car
p
ente
r
lo
c
k
ing: white space cha
n
ges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpent
e
r
n
ew_bugs
.
sh:
f
ix it for gc
c
and sparse warn
i
ngs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
arpenter
l
o
cking: tons of locks
w
ere i
g
n
o
red because o
f
changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Car
p
enter
token_store: creates a po
s
it
i
on -> token mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpe
n
t
e
r
Merge b
r
anch 'dev
e
l2'
commit
|
commitdiff
|
tree
2012-03-08
D
an Carp
e
n
ter
*new* check_bit_shift
.
c
:
(foo &
BAR) vs (f
o
o &
(
1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Da
n
Carpenter
*n
e
w* po
i
n
t
er_ma
t
h: complain about ptr + siz
e
of() where
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n
Carpen
t
er
typ
e
:
e
xpo
r
t g
e
t_pointer
_
type(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan
Ca
r
p
e
nter
type:
e
xport get_pointer
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Ca
r
penter
flow: f
i
x
segfaul
t
on parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Ca
r
pen
t
er
hooks:
a
dd
CA
S
T_HOOK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
type: a
d
d n
r
_bits(struct exp
r
ession *expr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpenter
extra: delete the get_range_l
i
st() functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
ter
new: smatch
_
scri
p
ts/buil
d
_ker
n
el_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
an Carpenter
new: smatch_scripts/test
_
ke
r
n
e
l
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next