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
debug: add a way to debug buffer sizes __smatch_buf_size()
2012-06-12
D
a
n Carpenter
debu
g
: add a way to
debug buffer
sizes __
s
match_buf_
s
i
ze()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpen
t
er
Or vs and: warn
a
bout
bi
t
wise ANDs tha
t
always give
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpente
r
Or vs an
d
:
i
f (foo & ZERO) is nonsens
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-11
Dan Carpenter
fu
n
ction_hash: make i
t
easier to hand
l
e a file w
i
th
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-06
Dan
Ca
r
p
enter
si
g
ned
:
un
b
reak the che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arp
e
nte
r
overflow: upd
a
te validation test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
D
a
n Carp
e
nte
r
fl
o
w: han
d
le struct initializat
i
on bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan Ca
r
penter
flow: h
a
ndle EX
P
R
_
OFFSETOF and E
X
PR_ALIGNOF
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-06-04
Dan
C
arpenter
overflow:
i
gnore "x = &foo
[
A
R
RAY_SIZE(
f
oo)];
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan
Ca
r
pen
t
er
o
v
erflow: whi
t
e
space cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
D
a
n
Carpenter
im
p
lied: the base slist is not specia
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Dan Carpenter
slist
:
chan
g
e
format
f
or debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-30
Da
n
Ca
r
penter
expressi
o
ns: introduce so
m
e more expression
a
llocation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
Dan Carpente
r
validation:
update dereferen
c
e check o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-29
D
a
n Carpenter
implied: certain states sh
o
uld be left
a
s is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
D
a
n Carpe
n
ter
slist: put
the sm_state itself into ->possible
n
ot
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan Carpenter
slist: cl
e
anup merg
e
_hooks API
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-27
Dan
C
arpenter
e
x
t
ra
:
don't create a
new m
e
r
g
ed estat
e
if ->
r
i
g
ht
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Ca
r
pe
n
t
er
est
a
tes: reus
e
same
estate
for
e
xtra_u
n
d
e
f
i
ned(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Da
n
Ca
r
pen
t
er
constra
i
nts: get ri
d
of add
_
equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan
Carpenter
constraints: remo
v
e
some dead co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpe
n
t
er
con
s
traints: fix set_equ
i
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
a
n
Carpenter
con
s
traints: add_related
(
) sh
o
u
l
d take a related_lis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
D
an Carpen
t
er
constraints:
s
o
rt the ->related list
p
ro
p
er
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpente
r
con
s
t
ra
i
nts: r
e
place get_comm
o
n
_
relationsh
i
p() wit
h
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-26
Dan Carpent
e
r
slist
:
move
add_pool() to smatch_imp
l
ied
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-24
D
a
n Carpe
n
ter
bit_shift:
a
d
d test_bit(
)
function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-23
D
an Carpent
e
r
f
l
ow: sile
n
ce
false positives c
a
u
s
ed by hairy functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
D
a
n Carpente
r
implied:
r
e
n
ame ->my_pool
to ->pool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
t
er
slist: rename add_possible() =>
copy_
p
ossibles()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carp
e
n
t
e
r
or_
v
s_and
:
i
g
nore *p++
|| *p++
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
tracker: fix a sm
a
ll memory
l
e
ak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Ca
r
penter
modification: remove calls to dele
t
e_sta
t
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpen
t
er
check
_
deref
e
rence: enable this
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
e
n
t
er
db: store wh
e
ther functi
o
ns
a
re glo
b
al
or static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Car
p
enter
tracker:
r
emove unused
clon
e
_tracker
_
list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpenter
slis
t
: buffer
o
v
e
rflow in debu
g
ging
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-22
Dan Carpent
e
r
user_data: fix NU
L
L dereferen
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
d
b:
w
hit
e
space cle
a
n
u
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Carpenter
db:
move param
e
ter
_
implications into the
d
ata
b
ase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-21
Dan Ca
r
p
ente
r
ranges: add possib
l
y_
t
rue/f
a
lse_
r
a
nge_lists_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan Carpente
r
overflow: automatically list f
u
nctions that take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-18
Dan C
a
rpente
r
modifi
c
a
ti
o
n
_h
o
o
ks: c
o
mplete rewr
i
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-17
D
a
n Carpenter
db: print
t
he SQL
queries w
h
en --debug
i
s on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan
C
a
r
penter
cle
a
nup: use valid_ptr
_
min/max
.
get rid of P
O
INTER_MAX
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Dan Carpe
n
ter
e
xtra:
deref
e
rencin
g
a
pointer
mean
s
it
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
Da
n
Car
p
enter
impl
i
ed:
c
leanup debu
g
outpu
t
a
l
i
ttle
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-16
D
a
n Ca
r
pente
r
s
l
ist: pull show_s
m
() into a se
p
ar
a
te function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Car
p
en
t
e
r
c
h
eck_kernel: ERR
_
PTR()
r
e
t
u
r
n
s non-NULL (mostly)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
dereference chec
k
s: use the cross
f
u
n
c
tion info from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
D
a
n Carpente
r
*new* check_dereferen
c
es_p
a
ram: lis
t
f
unctions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan
C
ar
p
enter
*new*
r
etur
n
s:
m
erge
a
l
l
slists
f
rom all retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
db: add
c
all_implies tab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan C
a
rpenter
f
low: print a
d
ifferen
t
filename when --info op
t
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-15
Dan Carpente
r
deref: fix a typo
i
n
th
e
error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
D
an Carp
e
nter
use
r
_data: tra
c
k user data t
h
a
t
is retur
n
ed to
oth
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-10
Dan
Carpenter
b
o
ol_
i
mplications: remove debu
g
ging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-08
Dan C
a
rpenter
fix compile on Ubu
n
t
u
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
D
a
n
Carpenter
generisi
z
e
.
p
l
: strip all s
t
rings not just
t
he fi
r
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-05-07
Dan C
a
rpenter
buf_size
:
Add a NULL check to g
e
t_a
r
ray_size_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
*new* sizeof_pointer:
u
s
ing sizeof(p) where siz
e
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Car
p
e
n
ter
overflow: check
m
emcpy() to see if we'r
e
comparing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpenter
extra: d
o
n't reset &arguments
until th
e
other checks
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
Dan Carpente
r
flow
:
change
how "for
(i
= 0; ; i++
)
{
.
.
.
" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-26
D
an Carpente
r
*new* or_vs_and: c
o
mpl
a
in abou
t
if (x != 3 |
|
x !=
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-24
Dan Car
p
e
n
t
e
r
sparse: introduc
e
g
et_expression_va
l
u
e_
n
omod()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-23
Dan C
a
r
p
enter
t
y
pe
:
introduce is_pointer
(
)
f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Da
n
Carpenter
extra: frob
(
f
o
o)
resets
t
h
e
value of *
f
o
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-19
Dan Carpenter
extra: foo((void *)&x) writes
t
o x probab
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
a
n Carpenter
ranges: introduce invert_ra
n
ge_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-18
D
an Carpenter
math: h
a
ndle __smatch
_
i
mpl
i
e
d(&x);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an Carpe
n
ter
r
anges: commit range_lists_equi
v
(
)
so that
b
o
o
l_impl
i
catio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Da
n
Ca
r
penter
smdb_param_
b
uf_size
.
sh
:
ask db w
h
a
t size
b
uf
f
e
r
s are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
an
Carpent
e
r
e
xtra:
get_implied_
r
ange_list
(
) should h
a
ndle condit
i
o
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpe
n
ter
buf_size
:
store buffer sizes in
db (turn
e
d off by defaul
t
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
D
a
n
Carpent
e
r
db: don
'
t
die o
n
S
QL
error
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-17
Dan Carp
e
nter
bool_implicatio
n
s
: make a list o
f
i
mplications
f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-16
Dan
C
a
rpenter
math: handle
logic
a
l ex
p
ressions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Dan Ca
r
penter
core: print s
m
_msg()s before parsing
starts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
D
a
n Carpenter
parameter_implica
t
ions: generate list of functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-15
Da
n
C
a
rpenter
db: match_return() shouldn't re-impleme
n
t get_impl
i
ed_range_
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an Carpenter
m
a
t
h: s
o
rt of handle conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
mat
h
: simplify imp
l
ied_condition_t
r
ue/f
a
lse()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Ca
r
penter
m
at
h
: si
m
plify kn
o
wn_con
d
ition_true/false()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
a
n Carpe
n
ter
ma
t
h
:
h
a
ndle __smatch_imp
l
ied(({frob(); 2;}));
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
D
an
C
arpen
t
e
r
mat
h
: handle foo = !2;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-14
Dan Carpenter
extra, math: move kno
w
n
_conditon
_
t
rue/fa
l
s
e
(
) etc from
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
D
a
n
Ca
r
pe
n
ter
project: fix
parame
t
e
r implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Carpenter
helper: intro
d
uc
e
get_member_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-13
Dan Ca
r
penter
db: print all re
t
urn
v
alues
a
t en
d
of func
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-04-04
Dan Car
p
enter
d
b
: add some smdb_ sc
r
ip
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan
Carpenter
fill
_
db_retur
n
_info: fix out d
a
t
e
d p
a
rsing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ex
t
ra: always initialize
the range i
n
get
_
implied_ran
g
e_list()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
extra: fix get_impl
i
ed_ra
n
ge() for function
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
a
n Carpenter
c
h
e
c
k_macros: cleanup:
u
se positi
o
ns_eq()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpen
t
er
mac
r
o
: take
a
struct pos
i
tion
,
not
a
p
o
i
n
ter to a str
u
ct
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpe
n
ter
i
mpl
i
ed:
c
le
a
nup:
m
ove dubug printfs to their own function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
D
an Carpente
r
ranges:
g
et rid of possibly_(true/false)_r
a
nge_l
i
st_ls(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-30
Dan Carpenter
ranges: clean
u
p: move tr
u
e_co
m
parison_range_
l
r()
into
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2012-03-29
Dan Carp
e
nte
r
ex
t
ra: add param
e
ter
i
mplications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next