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
user_data: fix NULL dereference
2012-05-22
Dan Carpenter
user_data: fix NULL d
e
r
eference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Carpenter
d
b
: white space c
l
eanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpe
n
ter
db
:
move
p
a
rameter_implicatio
n
s i
n
to the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
r
anges: a
d
d
p
ossibly_true/fa
l
se_range_l
i
sts_
r
l()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Da
n
Carpenter
overf
l
ow: automa
t
i
c
ally
l
ist fun
c
tions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
arpenter
mod
i
fic
a
tio
n
_ho
o
ks: complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
D
an Carpenter
d
b
:
pr
i
nt
t
h
e SQL queries
w
hen --d
e
bug is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
cleanup: use valid_ptr_min/max
.
get rid of PO
I
NT
E
R_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
D
an Carpenter
extra: der
e
f
e
rencing a pointer means i
t
is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan C
a
rpenter
implied:
c
leanup debug outpu
t
a lit
t
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpen
t
e
r
slist: pull show_sm() i
n
to a separate funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
t
er
check_kerne
l
: ERR_PTR() r
e
turns non-
N
ULL
(
m
o
stly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
dereference c
h
ecks: use
t
he
cross function info from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*new* che
c
k_dere
f
erenc
e
s_param:
list functions that
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* return
s
:
merge all slists
from all
r
eturns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
b: add ca
l
l_impli
e
s tabl
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
flow
:
print a di
f
fere
n
t filename whe
n
-
-info
o
ptio
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref:
fi
x
a
typo in the error messa
g
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Ca
r
p
en
t
er
u
s
e
r
_data: track user data that is
re
t
u
rned to other
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
Carpente
r
boo
l
_implications: rem
o
ve de
b
ugging output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Carp
e
nter
fix
compile on U
b
untu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n Ca
r
p
e
nter
generisize
.
pl: st
r
ip all
s
tr
i
n
gs n
o
t j
u
st the fir
s
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
buf_s
i
z
e
: Add
a
NULL c
h
eck to get_arr
a
y_size_byt
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
C
a
rpenter
*
n
ew* sizeof
_
point
e
r
:
u
s
ing si
z
eof(p
)
where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
overflo
w
: check memcpy() to s
e
e if we'
r
e com
p
arin
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ex
t
ra: d
o
n't r
e
set &a
r
gu
m
ents until the
o
ther c
h
ecks
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
f
l
ow:
c
hange how "for (i
=
0;
; i++) {
.
.
.
" is han
d
led
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
D
a
n Carpenter
*
n
ew* or_vs_and: com
p
lain a
b
out if (x != 3 || x
!=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse: introduce
g
et_expre
s
s
ion_valu
e
_nomod(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Da
n
Carpenter
type: introduce is
_
pointer() funct
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan
Ca
r
penter
e
x
t
r
a
: frob(foo) resets the va
l
ue of *fo
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
e
x
tra: foo((
v
oid *)&x) write
s
to x probably
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carp
e
nter
ranges: introduce
invert
_
r
a
nge_lis
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
D
an
Car
p
en
t
er
mat
h
: handle __smatch_implied(&x);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
ranges:
c
ommit range_list
s
_equiv() so
tha
t
bool_implicat
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpenter
smdb_param_buf_s
i
ze
.
sh
:
ask db
w
hat size buffe
r
s are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
e
xtra: g
e
t_implied_range_l
i
st() should hand
l
e conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nte
r
buf_size: store
b
uffer si
z
es
i
n db (
t
urned of
f
by default)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
C
arpenter
db: don
'
t di
e
on S
Q
L er
r
or
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
bool_implicatio
n
s:
m
ake a
l
ist of implications
f
or
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Da
n
Carpent
e
r
math: handle l
o
gi
c
al expressi
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
r
p
ente
r
core: print sm_msg()s bef
o
re
p
a
r
s
ing sta
r
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Car
p
ent
e
r
parame
t
er_im
p
lications: generate list of functions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpe
n
t
e
r
db
:
match
_
return() shou
l
dn't re-implement get_implied
_
range_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carp
e
nter
math: sort of handle
con
d
itio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: simp
l
ify i
m
plied_c
o
nditi
o
n_true/false
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
pent
e
r
mat
h
: simplify known_condition_true/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math: ha
n
d
l
e __smatc
h
_implied(
(
{fro
b
(); 2;}));
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
m
ath: handl
e
foo = !
2
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, ma
t
h: move k
n
own_conditon_true/false
(
) etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n Carpenter
pr
o
ject: fix
parameter i
m
plication
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: in
t
rodu
c
e
get_member_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpent
e
r
db: print
al
l
return values
at
e
nd of
functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpenter
db: add some smdb_ sc
r
ipts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_db_
r
eturn_info: fix out dat
e
d pars
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ext
r
a: always initialize
t
he range in get_implie
d
_r
a
nge_list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
e
x
t
ra: fi
x
get_implied_range
(
) f
o
r
function calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
chec
k
_macr
o
s: cleanup: use positions_e
q
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
C
arpenter
macr
o
: take a struct po
s
i
ti
o
n, not a pointe
r
to a stru
c
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
imp
l
ied:
cl
e
anup
:
move dubug pri
n
t
f
s to their own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: ge
t
rid
o
f po
s
sibly_(t
r
ue/false)_range_
l
ist_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
ran
g
es: cl
e
anu
p
:
move true_comparison_range_lr() into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
extra: add parameter
i
mplications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan
C
arpenter
ran
g
es: introduce clo
n
e_permanent()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nter
ranges: initia
l
ize the
p
o
i
nter in ge
t
_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db:
i
gnore functi
o
ns whic
h
are called a
lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
type: ex
p
ort get_re
a
l_base_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpenter
db: ad
d
code
t
o h
a
ck u
p
the
d
atabase with project specific
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
an Carpenter
co
n
diti
o
ns:
p
reserve |= as the
ass
i
g
n
op in
f
o
o
|=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
D
a
n Carpen
t
er
type:
s
izeof() is unsigned long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carp
e
nter
con
d
i
tions: s
p
arse nev
e
r
seems to use SPECIAL
_
UNSIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan Carpenter
h
elper: introduce position
s
_e
q
(po
s
1, pos2) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
D
an Carpenter
b
u
ild_kernel_data
.
sh: make it
e
xecut
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
C
a
rpenter
macro_s
i
de_effec
t
s: sile
n
ce false positives ins
i
de
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
t
e
st_kerne
l
.
sh: create a bak
.
sm
a
tch at th
e
beginni
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n
C
arpent
e
r
*new* check
_
macro_si
d
e_
e
ffe
c
t
s
: ma
c
r
o
s which evaluat
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
D
a
n Carpenter
fl
o
w: ignore __builti
n
_co
n
stant_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpent
e
r
sparse: s
e
t
the
sc
o
pe->to
k
e
n
member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan C
a
r
p
enter
c
a
ll_tree
.
pl: This was
s
t
ill using the
o
ld
f
orma
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan C
a
rpenter
bui
l
d_kern
e
l_data
.
s
h:
ad
d
--c
a
l
l-tree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
locking
:
ig
n
ore unreachable unlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Ca
r
penter
locking: white spa
c
e chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Car
p
en
t
er
new_bugs
.
s
h:
f
i
x
it for gcc and
s
p
a
r
s
e warning
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpen
t
er
l
o
c
king: tons of locks were ignored becaus
e
of change
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
D
a
n Carpenter
t
o
ken
_
store: creates a pos
i
tion -> t
o
ken mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carp
e
nter
Merge branch 'dev
e
l2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Car
p
e
n
ter
*new* check_bit_s
h
ift
.
c: (foo
& BAR)
v
s (foo &
(1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* pointer_ma
t
h
:
com
p
la
i
n abou
t
ptr + sizeo
f
() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan
Carpenter
type:
e
xport get_pointer_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Ca
r
pen
t
e
r
t
ype: export
g
et_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
C
arpenter
flow: fix seg
f
ault
on parse erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpent
e
r
ho
o
ks: ad
d
C
AS
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan
Carpenter
ty
p
e: add
nr_b
i
ts(s
t
ruct e
x
p
r
e
s
sion *expr)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Da
n
Carpenter
extra: delete the
get
_
rang
e
_list(
)
func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpenter
ne
w
:
smatch_s
c
ripts/build_kern
e
l
_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpente
r
new: s
m
a
tch_scripts/test_kernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
D
a
n
Carpenter
ran
g
es:
make possibly_true/false() take expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carp
e
nter
e
xp
r
essio
n
s: new file
s
match_expre
s
si
o
ns
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan
C
a
r
p
e
n
te
r
tree wide: don't pr
i
nt o
f
fset into functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
generize
.
pl: make it work for sparse
w
a
r
nin
g
s as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next