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
slist: buffer overflow in debugging code
2012-05-22
Dan Car
p
enter
slist: b
u
f
f
e
r ov
e
rflo
w
in debugging
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
user_d
a
ta: fix NULL
deref
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
C
arp
e
n
ter
db: white
s
p
a
ce
cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpen
t
e
r
d
b: move p
a
r
ameter_implications into the dat
a
b
as
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add possibly_
t
rue/false_range_lists_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
o
verflow:
a
u
tomatical
l
y list functi
o
ns that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpen
t
er
modification
_
h
ooks:
complete rewrit
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Carpen
t
er
d
b: print the SQL queries
w
hen --debu
g
i
s o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Ca
r
pent
e
r
cl
e
anup:
use valid_ptr_min/max
.
get rid of PO
I
NTER_M
A
X
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
arpenter
extra: der
e
ferenci
n
g a p
o
inter means
i
t is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpente
r
impli
e
d: cleanup deb
u
g output
a
lit
t
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n
Carp
e
nter
sl
i
st: pull show
_
sm(
)
i
n
to a
separate fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Ca
r
p
e
n
t
er
check
_
ke
r
nel:
ERR_PTR() returns non-N
U
LL
(
mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
ter
dereference
c
hecks: use
the cross function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpe
n
ter
*new* check_dereferences_pa
r
am:
l
i
s
t
functions
t
hat
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new*
r
eturns: merge all slists from a
l
l retur
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
db:
add call_implies
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
an Carpenter
flow
:
print a d
i
f
f
erent fi
l
ename when --info option
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
der
e
f
:
f
ix a
typo
in th
e
error message
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Da
n
Carpenter
user_da
t
a: trac
k
user data that
is re
t
urned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan C
a
rpenter
b
o
ol
_
implications: remo
v
e
debu
g
ging
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
D
a
n C
a
rpenter
fi
x
compi
l
e on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
an Carpent
e
r
generisize
.
p
l
: s
t
r
i
p all st
r
ing
s
not just the first
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
ar
p
enter
buf_size: Add a NULL
c
heck to get_
a
rray_size_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
*new*
s
iz
e
o
f_pointer
:
using sizeof(p)
w
he
r
e
s
izeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
o
verflow: check memcpy() to
s
ee if we're comparing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ext
r
a: don't reset &arguments until the
o
ther checks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpe
n
ter
flow: cha
n
ge how "for (
i
= 0; ; i+
+
) {
.
.
.
"
is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan
C
arpenter
*new* or
_
vs_
a
n
d
: complain
a
bout
i
f (x !
=
3 || x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpen
t
e
r
sparse:
intr
o
du
c
e get_express
i
on_value_nomod()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type: introdu
c
e is_po
i
nt
e
r(
)
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpe
n
ter
e
xtra: frob
(
foo) resets
t
h
e
value of
*
foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpent
e
r
extra:
foo((
v
o
id *)&x) wr
i
tes
t
o
x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpe
n
te
r
ran
g
es: introd
u
c
e i
n
ver
t
_range_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpent
e
r
math
:
hand
l
e __
s
match_i
m
plied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpe
n
t
e
r
ra
n
ges: commit
r
ang
e
_lists_equiv() so that bo
o
l_implications
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
smdb_param_buf_size
.
s
h
: ask
d
b what siz
e
buf
f
ers are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Car
p
e
n
ter
ex
t
ra: g
e
t_implied_rang
e
_lis
t
() should
handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan
Carpenter
buf_size: stor
e
buffer size
s
in db (turned
o
ff by
d
efault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
db: don't die on SQL
e
rrors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bo
o
l_implications: make a list
o
f implicati
o
ns for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpe
n
ter
math: ha
n
dl
e
logical express
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
core: p
r
int sm_m
s
g(
)
s before par
s
ing starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
para
m
eter_im
p
licati
o
n
s: generate lis
t
o
f funct
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan Carpenter
d
b
: matc
h
_return()
shouldn't re-implemen
t
get_
i
mplied_range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
math:
sort of handle conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpen
t
er
math: simpl
i
fy implied_condition_tr
u
e/fal
s
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carp
e
n
t
er
math: simpl
i
f
y
know
n
_condition_true/f
a
lse()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
ma
t
h: handle
_
_smatch_i
m
pli
e
d(({frob
(
); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
math: handle foo = !2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra
,
math: move known_conditon_true
/
false() etc fro
m
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
Carp
e
nter
pro
j
ect: fi
x
para
m
eter imp
l
icati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan C
a
rp
e
nter
helper:
i
ntroduce get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpente
r
db: print all
return v
a
l
ues
a
t
end
of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carp
e
nter
db:
a
dd some smdb_
s
c
ripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
fill_db_return_info: fi
x
out dated
p
a
r
s
in
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpente
r
ex
t
ra: always initialize the
r
ange in
get_implied_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpenter
extra: fix get_impli
e
d_ra
n
ge() for funct
i
on
c
alls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
c
h
eck_macros:
c
l
e
anup: use positio
n
s
_
eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpent
e
r
macro: take a struct
posi
t
ion, not a pointer
t
o a struct
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
C
arpenter
i
mplied: cl
e
a
nup: move dubu
g
printf
s
to the
i
r own
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: get r
i
d
of possibly
_
(t
r
ue/false)_range_li
s
t_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carp
e
nter
ranges:
cleanup:
m
ove true_compari
s
on_range_lr
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
extra
:
add parameter implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ran
g
es: introduce clone_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ran
g
es: initializ
e
t
he
p
ointer in get_value
_
rang
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
db: ignore
f
u
nc
t
ions which are call
e
d
a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
pente
r
type: export get_rea
l
_b
a
s
e_ty
p
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpen
t
er
d
b:
a
d
d
code t
o
hack up
t
he database with proje
c
t
s
pe
c
if
i
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpenter
c
onditions:
p
reserve |=
as the assign o
p
in foo
|
=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
t
ype: s
i
zeof() is unsigned
long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
cond
i
tions: sparse never seems t
o
use SPECI
A
L_UNSI
G
NED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
C
a
rpe
n
ter
h
elper
:
intr
o
duce
p
os
i
tions_eq(pos1, pos2)
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
Car
p
en
t
er
build_kernel_
d
ata
.
sh: ma
k
e
it
e
xec
u
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
ma
c
ro_side
_
effects:
silence false positives inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carpenter
test_ke
r
n
e
l
.
sh: create a bak
.
smatch a
t
the beginning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpente
r
*new* check_
m
acr
o
_
s
ide
_
effe
c
t
s
: macr
o
s
wh
i
ch eval
u
ate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carp
e
nter
f
low
:
ignore __b
u
iltin_
c
onstan
t
_p(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
enter
sparse: set
t
he
s
cope->token
m
e
m
b
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpente
r
call_tree
.
p
l: T
h
is was still using the old
f
orma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpent
e
r
b
uild_ker
n
e
l
_
data
.
sh:
a
dd --call-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Ca
r
penter
lockin
g
: ign
o
re unrea
c
hable u
n
locks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpe
n
te
r
locking: white s
p
ace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
new_bug
s
.
sh: fix i
t
for
g
cc
a
nd sparse warni
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
locking: tons of l
o
cks were
i
gnored becaus
e
of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
token
_
store
:
creates a position -
>
token mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
D
a
n
Carpent
e
r
Merge branch
'
devel
2
'
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
arpente
r
*ne
w
* ch
e
ck_bit_shift
.
c: (fo
o
&
B
A
R
) vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpent
e
r
*
n
e
w
*
p
o
inter_math: complain about ptr +
sizeof() wher
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpente
r
type
:
exp
o
rt
get
_
poi
n
ter_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
D
a
n Car
p
ent
e
r
type: export get_point
e
r
_
t
y
pe()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpen
t
er
flow: fix seg
f
ault on p
a
rse error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpente
r
hook
s
:
add CAS
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpent
e
r
t
y
pe: ad
d
nr_bits(struct expression *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
e
xtra:
d
elete the get_range_list() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Artem B
i
tyutskiy
Makef
i
le: do not
i
nstall spars
e
a
n
d cgcc
commit
|
commitdiff
|
tree
2012-02-28
D
a
n Carpenter
new: sm
a
tch_
s
cripts/build_kernel_d
a
ta
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carp
e
nter
new: smatch_scripts/t
e
st_
k
e
r
nel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
Carp
e
nter
ranges: make possibly_true/false() t
a
ke exp
r
es
s
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
Carpe
n
t
er
expre
s
sions: new file
s
matc
h
_express
i
ons
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next