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
overflow: automatically list functions that take a size parameter
2012-05-18
Da
n
Car
p
ent
e
r
overflo
w
: automatically
l
ist
f
u
n
c
tions th
a
t take
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carp
e
nter
modif
i
cation_hooks: com
p
lete
re
w
rite
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
an
C
arp
e
nter
db: print the SQL
quer
i
es whe
n
--d
e
bug
is on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Carpenter
cleanup: use
v
alid_ptr_
m
in/max
.
get
rid o
f
P
OIN
T
ER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
e
x
tra:
dereferencing a pointer
m
ea
n
s it is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
Carpenter
i
m
plied: cle
a
n
u
p de
b
ug o
u
tput a little
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpenter
s
l
ist
:
pull show_s
m
() into
a
s
e
parate
f
un
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
ch
e
ck_kern
e
l: ERR_PTR() return
s
no
n
-
N
ULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
deref
e
ren
c
e checks:
u
se t
h
e cross function info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
*new* check_dereferences_pa
r
am:
list functions th
a
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpenter
*new* return
s
: merge al
l
s
l
ists fro
m
all
r
e
turns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n
C
ar
p
enter
db:
a
dd
c
a
ll_impl
i
es table
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
an Car
p
enter
flow:
p
r
i
nt a d
i
ffe
r
ent filen
a
me when -
-
info optio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpenter
d
e
ref: fi
x
a typ
o
in th
e
e
r
ror
m
e
s
sa
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Carpenter
user_data: track
u
ser
data that is returned to other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan Ca
r
pen
t
er
bool_imp
l
ica
t
i
o
ns: remove
d
ebugging outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
D
an Ca
r
p
e
nter
f
ix com
p
ile on Ubuntu
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan Carpen
t
er
g
enerisize
.
pl: strip all s
t
rings not
just the first
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan
Carpenter
buf_size: Add a NULL
check to get_arr
a
y
_
size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* si
z
eof_pointer: using sizeof(p) where sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpen
t
e
r
overflow:
ch
e
ck memcpy() to see if we're compa
r
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Ca
r
penter
extra: don
'
t reset &arguments until t
h
e
o
ther
chec
k
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carp
e
nter
flow:
change ho
w
"for
(
i = 0; ; i++) {
.
.
.
" is ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpent
e
r
*n
e
w
*
or_vs_
a
nd: complain about if (x != 3 || x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan
Carpent
e
r
s
parse: intro
d
uce get_
e
x
p
ression_value
_
nom
o
d()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan Ca
r
penter
ty
p
e: introduce
i
s_pointe
r
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
D
an
C
a
rpent
e
r
extr
a
:
f
rob(foo) resets the value of *foo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpente
r
e
x
tra
:
foo((void
*)&x) writes to x probably
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
Dan
Carpente
r
ran
g
es:
introduce
invert_range_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n C
a
rpenter
ma
t
h: handle
_
_smatch_implied(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Carpenter
ranges: co
m
mit rang
e
_l
i
sts_equiv(
)
so that b
o
ol_impl
i
cations
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arp
e
nter
smdb_param_buf_size
.
sh: ask d
b
what size bu
f
fer
s
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
extra: g
e
t_i
m
pli
e
d
_
r
ang
e
_l
i
st() should ha
n
dle condi
t
ions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan
C
arpenter
bu
f
_size: store
b
uffer size
s
in
db
(
turne
d
off by default
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carpenter
db
:
don't die on SQL
e
rrors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpenter
bool_implications: make a lis
t
of implic
a
tion
s
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan Carpenter
mat
h
: h
a
ndle lo
g
i
c
al exp
r
e
s
sions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan C
a
rpenter
core: print
sm_msg()s bef
o
re parsing starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan
Carpenter
para
m
eter
_
implicati
o
ns: generate list of function
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
db: match_
r
eturn() sh
o
uldn't re-
i
mpl
e
men
t
get_implied_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Da
n
Carpenter
math: sort o
f
handl
e
c
o
n
ditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpe
n
ter
m
at
h
: simplify implied_condition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan
C
arpenter
m
a
t
h: simp
l
ify
k
n
own
_
condition
_
true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carp
e
nter
math: handle __s
m
atch_i
m
pl
i
ed(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan C
a
rpent
e
r
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_condito
n
_true/fal
s
e() etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan
C
arpe
n
ter
pro
j
ect:
f
ix paramet
e
r imp
l
i
catio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an Carpente
r
help
e
r:
i
n
t
rod
u
ce get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
an Car
p
enter
db: p
r
int all return va
l
ues at end
o
f
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan
C
ar
p
enter
d
b
: add some
s
m
d
b_ scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
fill
_
db_return_info:
fix out dated p
a
rsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
extra: always initialize the range in get_implied_ra
n
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan C
a
rpen
t
er
extr
a
: fix get_im
p
lied_
r
ange() for function calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
che
c
k_macros: cleanu
p
: u
s
e
p
ositio
n
s_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
macro: take a
stru
c
t posi
t
ion, not a poi
n
ter
to a str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpe
n
ter
implied:
c
leanup:
m
ove dubug printfs
t
o their
o
wn fu
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpente
r
ranges: get rid of possibly_(true/fal
s
e
)
_
r
ange_list_ls()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n
Carpenter
r
a
nges
:
cl
e
anup: move t
r
ue_compariso
n
_range_
l
r
() into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
an Carpen
t
er
extra:
a
dd parameter impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
ranges: int
r
oduce
c
lone_p
e
rman
e
n
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Carpenter
ranges: initi
a
lize
t
h
e po
i
n
t
er in get_value_range
s
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
D
a
n Car
p
enter
db: ign
o
r
e
f
u
n
cti
o
ns whic
h
are called a lot
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpen
t
er
type: expor
t
ge
t
_real_b
a
s
e
_
t
ype()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carpenter
db:
add
code to hack
up the database with project spec
i
fic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Da
n
Carpe
n
ter
c
o
n
d
itio
n
s: pres
e
rve |= as
the as
s
ign op
i
n
foo |=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpenter
type
:
sizeof() is unsigned long
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-23
Dan Carpe
n
ter
conditions: sparse never
s
eems to use SPEC
I
AL_UNSIGNED_GT
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-21
D
a
n
Ca
r
pe
n
ter
h
e
lper: i
n
t
roduce positions_e
q
(po
s
1,
pos2)
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Dan C
a
r
pent
e
r
build_
k
ernel_data
.
sh
:
m
ak
e
it exe
c
ut
a
ble
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-19
Da
n
Carpenter
macro_side_
e
ffec
t
s
: silen
c
e
f
a
lse po
s
itives inside
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
D
an Car
p
ent
e
r
t
e
st_kernel
.
sh: cr
e
ate a bak
.
smatch
a
t the beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan
Carpenter
*new* check_ma
c
ro_side
_
effects: macros which e
v
aluate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Car
p
enter
fl
o
w: ignore __builtin_constant_p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-17
Dan Carpenter
spa
r
se: set
t
he scope->t
o
ken
m
ember
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan
C
arpenter
cal
l
_tr
e
e
.
pl: Th
i
s
w
as st
i
ll usi
n
g the old format
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-15
Dan
Carpente
r
build_kernel_data
.
sh: add --call-tre
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
an C
a
rpent
e
r
locking: ignor
e
unreachable unlocks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
D
a
n Car
p
enter
locking: white space changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan C
a
rpe
n
te
r
new_bu
g
s
.
sh: fix it for gcc and
s
par
s
e warni
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-12
Dan Carpenter
lockin
g
: ton
s
o
f locks
w
ere
i
g
n
ored because of changes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-10
Dan Carpenter
token_st
o
re: creates a position -> token ma
p
p
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-08
Dan C
a
rpenter
Merge branch
'devel2
'
commit
|
commitdiff
|
tree
2012-03-08
Dan
Carpenter
*new* check_bit
_
shift
.
c
: (foo & BA
R
) vs
(foo & (1
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-06
Dan Carpenter
*new* pointer_math: complain about ptr + sizeo
f
()
w
here
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-05
D
an
C
arp
e
nter
type:
ex
p
o
rt get_po
i
nt
e
r_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-02
Dan Carpent
e
r
type:
e
x
por
t
get_pointer_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Ca
r
penter
flow:
f
ix seg
f
ault o
n
parse er
r
or
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan C
a
rpent
e
r
hooks: add C
A
ST_H
O
OK
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpent
e
r
t
y
pe: a
d
d nr_bit
s
(
s
tru
c
t exp
r
ession *
e
xpr)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-29
Dan Carpenter
extra: de
l
ete the get_
r
ange_list() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Artem Bityutskiy
Makefile:
do
n
o
t
insta
l
l sparse a
n
d cgcc
commit
|
commitdiff
|
tree
2012-02-28
Dan Carpe
n
ter
new: smatch_scripts/bu
i
ld_
k
ernel_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-28
Dan Car
p
enter
new: smatch_scripts/test_kernel
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Dan Car
p
enter
ranges: make p
o
ssibly_
t
rue/
f
a
lse() take expression
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-27
Da
n
C
arpenter
expression
s
:
n
ew file smatch_expressions
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Carpenter
tree wide: don't
print offset into function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan Ca
r
p
e
nt
e
r
g
e
nerize
.
pl:
m
a
ke it work for sparse warnings as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
Dan C
a
rpenter
esta
t
e: don
'
t reuse extra_undefined()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-22
D
an Carpenter
c
o
ntraints:
a
d
d o
p
tio
n
-
-
d
e
b
u
g-re
l
ated
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-02-21
Dan Carpenter
const
r
aints:
m
ake se
t
_
e
quiv() take an expres
s
ion po
i
n
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next