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_
d
ata
:
f
ix NULL der
e
fer
e
nce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
penter
db
:
white space
c
l
eanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan
Car
p
enter
db:
m
o
v
e paramet
e
r_implications in
t
o the databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
ranges: add po
s
sibly_true/false_
r
a
n
g
e_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpenter
ov
e
rflow: au
t
omaticall
y
list functions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan
C
arpenter
modification_ho
o
ks: com
p
lete
r
ew
r
i
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
Dan
C
a
r
pente
r
db: print the SQL queri
e
s
w
hen --
d
ebug is
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carp
e
nt
e
r
cleanup: use valid_ptr_m
i
n
/
max
.
get
rid of POINTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
extra: d
e
re
f
erencing a pointer me
a
ns it
is val
i
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Ca
r
penter
im
p
lied: cleanup
debug out
p
ut a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
slis
t
: pull
show_s
m
() into a separate
f
unction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
check
_
kernel
:
ERR_PTR() returns non
-
NULL (mo
s
tly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
arpenter
derefe
r
ence checks:
use
the cross functio
n
info
from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpent
e
r
*
new*
ch
e
ck_d
e
reference
s
_param
:
list functions
that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpe
n
t
er
*
n
ew*
returns: m
e
rge
all sli
s
ts f
r
om all retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carp
e
nter
d
b: add c
a
l
l
_impli
e
s tabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Da
n
Carpente
r
flow: print a dif
f
erent fil
e
name when --info option
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
enter
deref: fix a ty
p
o i
n
t
h
e error message
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data:
t
rack user
data that
i
s re
t
u
r
ned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpente
r
bool_im
p
lications: r
e
move debugging o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan
Carpenter
fix co
m
pile
o
n Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpenter
generisize
.
pl: strip all
strings
n
ot jus
t
the
f
irst
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
g
et_a
r
ray_
s
iz
e
_by
t
es()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan
Carpenter
*new*
s
izeof_poi
n
ter: using
s
ize
o
f(
p
) wher
e
sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
ov
e
rflow: c
h
eck memcpy
(
)
t
o se
e
i
f w
e
're
c
omp
a
rin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan C
a
rpenter
ext
r
a: d
o
n't
reset
&a
r
gum
e
nts u
n
til the othe
r
checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
flow: change how "for
(
i = 0; ; i++) {
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Da
n
Carpent
e
r
*new* or_v
s
_an
d
: complain about if
(
x
!=
3
|| x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Carpenter
sparse:
introduce get_expression_valu
e
_nomod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Carpenter
type:
introduce
i
s_pointer() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan C
a
r
pe
n
ter
extr
a
: frob(foo)
resets the value of
*
foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpente
r
extra: foo((void *
)
&
x
) writes
t
o x pr
o
b
a
b
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpenter
ran
g
es:
i
ntr
o
duce
i
nvert_r
a
n
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan Ca
r
penter
m
a
th: handl
e
_
_smatch_imp
l
ied(&
x
);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
ran
g
e
s: commit
r
ange_
l
ists_e
q
u
iv() so that bool_impl
i
cations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Car
p
e
nter
smdb_
p
a
ram_buf
_
size
.
sh: ask d
b
wh
a
t size
b
uffers are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: get_
i
mplie
d
_range_list(
)
sh
o
uld handle conditions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
C
ar
p
enter
buf_size: st
o
re buffer s
i
zes
i
n db (turn
e
d off b
y
d
efault)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpenter
d
b
: don
'
t
die on SQL errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Ca
r
p
e
nter
bool_
i
mplica
t
ions: make
a list of implications fo
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
D
a
n
C
a
rpenter
math: h
a
ndle log
i
ca
l
expressi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
core
:
pr
i
nt sm_msg()s
before parsing
s
tart
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
Carpen
t
er
parameter_i
m
plication
s
: gen
e
r
a
te
l
i
st of fun
c
tions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Car
p
enter
db: match_retu
r
n()
shouldn't
r
e-implement
g
e
t_implied_range
_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpent
e
r
ma
t
h
: sort
o
f
handl
e
condit
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
mat
h
:
simplify implied_conditio
n
_true/fa
l
se(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpenter
m
a
th:
simplify known_conditio
n
_true/
f
alse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
a
rpenter
math: handle __
s
matc
h
_impl
i
ed(({frob(
)
; 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
p
ente
r
m
at
h
: hand
l
e
f
o
o
= !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, math:
move known_c
o
n
d
i
t
on_true/f
a
l
s
e(
)
etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Da
n
Carp
e
nter
projec
t
: fi
x
parameter
imp
l
i
c
a
t
i
o
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Car
p
enter
helper:
introduce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
d
b
: print a
l
l
retur
n
values at end o
f
fun
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Carpent
e
r
d
b
:
add some s
m
db_ sc
r
i
p
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill_db_retur
n
_
i
n
fo: fix out date
d
par
s
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
e
xtra: always initialize the range in get
_
implied_r
a
nge_l
i
st()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Da
n
Carpenter
extra: fix
get_implied_r
a
n
g
e()
for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
penter
c
h
eck_macros: cleanup: use positions_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Ca
r
p
e
nter
macro: take
a
struct posit
i
on, not
a
poi
n
t
e
r
t
o a s
t
r
uct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
i
m
plied:
c
l
e
anup
:
m
ov
e
dub
u
g printfs to the
i
r own f
u
n
c
ti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ra
n
ge
s
: get rid of possib
l
y_(true/
f
alse
)
_
r
ange_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpen
t
er
ranges
:
cleanup: move true_comparison_r
a
nge_
l
r() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpente
r
ex
t
ra: add param
e
ter impl
i
cations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Da
n
Carpenter
ranges: introduce
c
lone_permanent()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
an Ca
r
penter
ra
n
ges: ini
t
ialize the point
e
r in get_value_ranges()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db: ig
n
ore
f
unctions which are
c
alled
a
lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Car
p
enter
type: export 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 code to
hack up the da
t
abase
with pr
o
j
ect sp
e
cific
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
D
an Ca
r
pent
e
r
co
n
ditions: preserve |= as the as
s
ign op
in foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan
C
arpenter
ty
p
e:
sizeof() is unsign
e
d
long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
conditi
o
ns: sparse never seem
s
t
o
use SPECIAL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
Da
n
Carpe
n
ter
h
elper: introduc
e
p
o
s
i
tion
s
_eq(
p
os1, pos2) functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
nter
build_
k
e
r
n
el_data
.
sh: make it executa
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan Carp
e
n
t
er
macro_side_eff
e
cts: silence false positives inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
test_kernel
.
sh: create a bak
.
smatch at the be
g
innin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
C
arpe
n
ter
*new*
c
he
c
k_macro_side_effects: ma
c
ros which
e
valua
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
f
low: i
g
nore __builtin_const
a
nt_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Da
n
Carpe
n
t
e
r
sparse: set
the scope->token member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan Carpe
n
ter
call_tree
.
pl
:
Thi
s
was
s
t
ill usi
n
g t
h
e
old
f
o
rmat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan C
a
r
penter
bu
i
ld_k
e
rnel
_
data
.
sh:
add --c
a
ll-tree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpente
r
locki
n
g: ignore
un
r
eachable unlo
c
ks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan
C
ar
p
enter
locking
:
white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carp
e
nter
new_bugs
.
sh: fix it f
o
r gcc and sparse wa
r
ni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpenter
locking: tons of
l
o
c
ks were i
g
nored because of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
t
o
ke
n
_store: crea
t
es a position -> toke
n
mapping
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
D
an Ca
r
penter
M
e
rge branch 'devel2'
commit
|
commitdiff
|
tree
2012-03-08
Dan Carpenter
*new* chec
k
_bit_sh
i
f
t
.
c: (foo &
B
AR)
vs (foo
&
(1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan C
a
rpent
e
r
*new* pointer_m
a
th: co
m
p
l
ain about ptr + sizeof()
w
h
e
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
a
n
Carpenter
typ
e
:
exp
o
rt
g
et_pointe
r
_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
D
a
n
Carpenter
type: export get_po
i
nter_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an
C
arpenter
flow: fix segfault on parse error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carp
e
nter
hooks: add CAST_HO
O
K
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
D
an
Car
p
ent
e
r
type: ad
d
nr_bi
t
s(str
u
ct
e
xpression *expr
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: delete
t
he g
e
t
_
range_list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
D
a
n C
a
rpenter
n
ew:
s
match
_
scrip
t
s/build_
k
ernel_da
t
a
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpent
e
r
new
:
smatch_scripts/te
s
t_ke
r
nel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan
C
arpenter
ra
n
ges:
ma
k
e possibl
y
_true/false(
)
take ex
p
ression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
Carpenter
expres
s
ions: new file smatch_ex
p
ressions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree wide:
don't print offse
t
into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan
C
arpenter
generize
.
p
l
: m
a
k
e it work for sparse warning
s
as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next