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 NUL
L
dereferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
white space cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan C
a
rpenter
db: move para
m
eter_implications into the
d
atabase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
range
s
: add
p
o
ss
i
bl
y
_true/false_range_
l
i
s
t
s_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpe
n
t
er
overflow: automaticall
y
list
f
un
c
t
ions that take a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-18
D
an Carpen
t
er
modifica
t
i
o
n_hooks: complete rewrite
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-17
Dan Car
p
e
nte
r
db: print the SQL queri
e
s when -
-
debug
is on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Ca
r
penter
cleanup: use valid_ptr_min/max
.
get rid of POINTER_MAX
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Carpenter
ex
t
ra: derefere
n
ci
n
g
a pointer means it is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
imp
l
ied:
cleanup debug output a little
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slist: p
u
l
l
s
how_sm() into a sepa
r
a
te func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
ch
e
ck_ker
n
e
l
:
E
RR_P
T
R() returns non-NULL
(
mostly)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
C
a
rpen
t
er
d
eref
e
ren
c
e check
s
:
use the cros
s
f
u
nction i
n
f
o
from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
*new* check_derefere
n
ces_p
a
ram: list function
s
t
h
at
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpenter
*ne
w
* r
e
tur
n
s: m
e
rge
a
ll
slists from all ret
u
r
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
db: a
d
d call_im
p
lies
t
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
f
l
ow: pr
i
nt a differ
e
nt filename when
--inf
o
o
p
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-15
Dan
Carpenter
deref: fi
x
a
t
ypo
in the error me
s
sage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
D
a
n
Carpe
n
ter
user_
d
a
ta: track user data that is return
e
d to o
t
h
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
boo
l
_i
m
plicati
o
ns: rem
o
v
e debugg
i
n
g
output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-08
Dan Ca
r
penter
fix
com
p
ile on Ubuntu
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Da
n
Carpenter
gen
e
ris
i
z
e
.
pl: strip all strings
not ju
s
t
t
he fi
r
st
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-05-07
Dan
C
arpenter
buf_size
:
Add
a
NULL check
t
o get
_
a
r
ray_size_bytes(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeof_p
o
inter:
u
s
i
ng sizeof(p) where sizeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Ca
r
penter
overflow
:
check m
e
mc
p
y() to see if we'r
e
compari
n
g
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra: don
'
t res
e
t &ar
g
uments un
t
il th
e
other chec
k
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
f
l
ow: change how "fo
r
(i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
enter
*new* or_
v
s_and: com
p
lain about
if (x !=
3
|| x !=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
e
nter
sparse: introduce
get
_
e
xpress
i
on_value_nomo
d
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-23
Dan
Carpenter
type: introduce is_pointe
r
() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: frob(foo) resets the va
l
ue of *foo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-19
Dan
C
a
r
penter
extra: foo((voi
d
*)&x) writ
e
s to x
probab
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpenter
r
ang
e
s:
i
ntrod
u
ce invert_range
_
list()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-18
Dan Carpenter
math: handle __sm
a
tch_implied(
&
x)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ranges: com
m
it range_lists_equiv() so that bool_impl
i
cations
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
an C
a
rpenter
smdb_param_
b
u
f
_
size
.
sh:
ask db w
h
at si
z
e buffers a
r
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
extra
:
get_implied_ra
n
ge_list() shou
l
d handle conditions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
buf_s
i
ze: store buffer sizes in db
(turn
e
d
off by de
f
ault)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
Dan C
a
rpenter
db: don't die on SQL errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpent
e
r
bool_implic
a
ti
o
n
s
: make a list of implication
s
f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-16
Dan Ca
r
p
enter
math: ha
n
dle logical ex
p
ressions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Ca
r
penter
c
o
re:
print sm_msg
(
)s before pars
i
ng starts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n
Carpenter
paramet
e
r_implicatio
n
s: genera
t
e list of functio
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-15
D
an Car
p
enter
db: m
a
tch
_
return() shouldn
'
t re-implement ge
t
_im
p
lied_r
a
nge_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpente
r
m
ath: sort o
f
h
a
ndle condi
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan
Carpenter
math: si
m
pli
f
y implied_con
d
i
t
i
o
n_t
r
ue/fa
l
s
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Car
p
enter
m
a
th:
s
i
m
plify
known
_
con
d
ition_tr
u
e/false()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
math
:
handl
e
__
s
ma
t
ch_implied(({
f
rob(
)
; 2;}))
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
m
ath: handl
e
f
o
o =
!2;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
C
a
rpenter
e
x
tra, m
a
th
:
m
o
ve known_condi
t
on_
t
rue/false() etc from
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
project: fix parameter
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper
:
introduce get_member_name(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
db:
p
r
int
a
ll return
value
s
at
en
d
of functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-04-04
D
a
n Carpent
e
r
d
b:
a
d
d some smdb_ scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpente
r
fill_db
_
return
_
info: fix out d
a
ted
p
a
r
sing
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
e
xtr
a
:
alwa
y
s initialize the range in get
_
im
p
lied_range_li
s
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_i
m
p
l
i
ed_
r
ange
(
) for f
u
nction
calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpenter
check_macro
s
:
cleanup: use positions_eq()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro:
t
a
ke a struct
p
osi
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
Carpent
e
r
implied: cleanup: move du
b
ug printf
s
t
o
th
e
ir
own function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpe
n
ter
ra
n
ge
s
:
get ri
d
of possibly_(true/false)_range_list_ls()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpe
n
ter
ranges: c
l
eanup: move t
r
ue_compa
r
ison_range
_
lr
(
) into
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
penter
e
x
t
r
a
:
add
parameter
implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
en
t
er
r
a
nges: introduce
c
l
o
n
e_permanent(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpe
n
ter
ranges: initialize t
h
e pointer
in get_value_ranges()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
db: ignore
f
unctions which are calle
d
a lot
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Ca
r
p
e
nte
r
type
:
e
xpo
r
t g
e
t_real_base_type
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
d
b: a
d
d c
o
de to
h
ack up the database w
i
th proj
e
c
t
specifi
c
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan
Carpenter
conditions
:
preserve |= as the assign o
p
in foo |=
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Dan Ca
r
penter
typ
e
: sizeo
f
()
is unsigned long
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpen
t
e
r
condition
s
:
sparse never see
m
s to use SPECIAL
_
UNSIGNED_GT
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-21
Dan C
a
rp
e
nter
h
e
lpe
r
:
i
ntroduce
positions
_
e
q
(pos1, pos2) functi
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan
Ca
r
pent
e
r
build_kernel_data
.
sh:
m
ake it execut
a
b
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carpenter
macro_s
i
de
_
effects: s
i
lence fal
s
e
positiv
e
s inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
e
nter
test_kerne
l
.
sh:
c
re
a
te
a
ba
k
.
smat
c
h at
t
he begin
n
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
ar
p
enter
*n
e
w* che
c
k
_macro_side_ef
f
ec
t
s:
m
acros
which eva
l
uate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
flow: ignore __bu
i
lt
i
n_consta
n
t_p()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpenter
sparse: se
t
the sc
o
pe->token
member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpenter
call_tree
.
pl: This
w
a
s still u
s
ing th
e
old format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpe
n
ter
build_ke
r
nel_data
.
sh: add -
-
call-
t
ree
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lo
c
king: i
g
no
r
e
u
nreacha
b
le
u
nlocks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nter
locking:
w
h
ite space changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
new_bugs
.
sh:
f
i
x it for gcc an
d
sp
a
rse warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
l
o
cking:
ton
s
of locks were ignore
d
bec
a
use of changes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-10
Dan
C
arpenter
token_store: creates a posi
t
ion -> toke
n
mapping
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpe
n
ter
M
e
rge branc
h
'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan
C
a
r
p
enter
*new* c
h
eck_bit_shift
.
c: (foo & BAR) vs (foo & (1
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-06
D
an Carpenter
*ne
w
* pointer_math: c
o
mplain abou
t
ptr + s
i
ze
o
f() where
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-05
Dan Carpenter
type: exp
o
rt get_pointer_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpenter
typ
e
:
e
xport get_p
o
int
e
r_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Car
p
enter
flow:
fix
s
egfa
u
lt
o
n
p
arse
e
rror
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
D
an Carpent
e
r
hooks: a
d
d CAST_H
O
OK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
type: a
d
d
n
r_bits(str
u
ct expres
s
ion *ex
p
r)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
ext
r
a: d
e
lete the
get_range_list() f
u
nctio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Artem B
i
tyutsk
i
y
Makefile: do
n
ot in
s
tall sparse and cgcc
commit
|
commitdiff
|
tree
2012-02-28
D
a
n C
a
rpent
e
r
new: smatch_sc
r
ipts/bui
l
d
_
kernel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carp
e
n
t
er
n
ew: smatch_sc
r
i
pts/test_
k
ernel
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpen
t
er
range
s
: make
p
ossibly_
t
ru
e
/
false() t
a
ke expression
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-27
Dan Carpen
t
er
ex
p
ressions: new fil
e
sma
t
ch_
e
xpr
e
ssions
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree
w
ide: don't print
offset into fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next