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
flow, db: fake an unknown return if the function is too hairy
2014-11-05
Dan Carpenter
f
lo
w
,
d
b: fake
an unkn
o
wn return if the
f
unction is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Carpe
n
ter
db,extr
a
: fixes to
par
a
m
f
iltering
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-05
Dan Ca
r
p
e
nter
d
e
bug: add a
funct
i
on to do intersections
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
D
an Car
p
ent
e
r
db,
range
s
: i
n
troduce
l
ong
_
min/
m
ax values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Da
n
Carpenter
kernel,
db
:
preten
d
p
ci functions c
a
n't retu
r
n PC
I
BIOS_BAD_R
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
d
b, kernel:
when kmalloc
(
) succeeds that implies th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan
C
a
rpenter
d
b: do
t
h
e
compariso
n
against the s
p
lit apa
r
t returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpenter
db:
s
p
l
i
t
f
u
nction call r
e
turns if we c
a
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carp
e
nter
flo
w
: handl
e
backwards g
o
to
hooks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-11-04
Dan Carpen
t
er
flow: f
u
nc
t
ion decl
a
r
a
tions are not fun
c
tion def
i
nitions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Carpenter
return_eno
m
e
m
: r
e
-write witho
u
t using return_imp
l
ie
s
_
state()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan
Carpenter
bu
f
_comparison: handle
zero size arr
a
ys better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Dan Ca
r
penter
buf_compari
s
o
n
: export the g
e
t_
s
i
ze_
v
aria
b
le()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-31
Da
n
Car
p
enter
buf_comparison, d
b
: record top
l
evel v
a
riables i
n
data
_
i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
D
an Carpenter
function_h
o
ok
s
, db:
f
ix
a
problem with nested
c
alls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
D
an Carp
e
nter
comparison: oops
.
forgot to commit a chunk
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-30
Dan Carpe
n
ter
64bi
t
_shift: find bugs like: u64 foo = 1 << x;
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Dan Carpenter
auto_copy: fix
a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-29
Da
n
Carpent
e
r
precedence: b & mask >>
sh
i
ft
i
s normally a
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
C
a
rpenter
shift_to_zero: fix
an error messag
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan
C
arp
e
n
ter
free: check for passing or returning freed memory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Da
n
Carpe
n
ter
free: don't
turn
off warnin
g
s if --sp
a
mmy is s
e
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Car
p
enter
db
/
fixup_
k
ernel
.
s
h
: bitmap_a
l
locate_region doesn't
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparis
o
n: s
t
ore
w
hic
h
data holds arr
a
y
limits
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-28
Dan Carpenter
buf_comparison, buf_size: a
d
d realloc() to
a
l
locat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
D
a
n Carpenter
comp
a
re: introdu
c
e get_all_comparisons()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-27
Dan Carpe
n
ter
db: add data_info
ta
b
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-21
Dan
Carp
e
nter
a
u
to_co
p
y
:
ass
i
g
n
ments
c
opi
e
s
s
tates automaticall
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-20
Dan Car
p
enter
buf_com
p
arison: look for off by one errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-17
Dan Car
p
enter
Merge branch 'devel'
commit
|
commitdiff
|
tree
2014-10-16
D
a
n Carpenter
err
_
p
tr_deref: error
m
essage shoul
d
say
"
neg
a
tive"
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan Carpenter
fre
e
: improve cr
o
s
s fun
c
t
i
o
n
trac
k
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-16
Dan
Carpenter
sh
i
ft_to_zero: ch
e
c
k
for
things l
i
ke "(foo & 0x
f
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-14
Dan Car
p
enter
parse_ca
l
l_math: handle math like "$0->f
o
o +
5
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse_cal
l
_math: more format change fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-13
Dan Carpenter
parse
_
c
a
ll_math: NUL
L
termina
t
e
buf size recipes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan Carpenter
call_math: use ran
g
e lists in
s
tead o
f
only ex
a
c
t
values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-10
Dan C
a
r
p
enter
r
anges: start implementing rl_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
D
a
n Car
p
ente
r
c
om
p
arison: s
t
o
re general l
i
mit
s
in
t
he
d
a
t
abase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan
C
arpenter
co
m
pa
r
ison: take
original
c
omparison in
t
o a
c
count
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-09
Dan Carpenter
validation: add a test fo
r
t
he r
e
ce
n
t function co
m
pare
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
D
a
n Ca
r
penter
fu
n
ction_hook
s
:
functi
o
n compa
r
isons can imply a
p
arameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-08
Dan C
a
rpen
t
er
fi
x
up_kerne
l
.
sh:
sever
a
l i
m
p
o
rtant updates (bugfi
x
es)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carp
e
nter
compar
i
son: re
n
am
e
falsify_o
p
()
t
o neg
a
t
e
_
c
omparis
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Ca
r
penter
ranges
:
rename filt
e
r
_
by_comparison
(
) to something
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Dan Carpenter
cgcc: revert part of the -
W
error ch
e
ck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-07
Da
n
Carp
e
nt
e
r
compari
s
o
n
: rename flip_o
p
(
)
to f
l
ip_compa
r
i
son() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-03
Dan
C
arpenter
Mer
g
e
g
it://git
.
kern
e
l
.
org/pub/scm/devel
/
sp
a
rs
e
/
chr
i
sl
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
D
an Carpenter
s
m
db
.
py: add som
e
help
text
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-10-02
Dan Carpe
n
ter
b
uild_
k
ern
e
l
_data
.
sh: error out if the right packages
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan
Ca
r
penter
comparison: don't store
c
omparisons
to one's self
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
omparison: ad
d
a comme
n
t for update_tf_links()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpe
n
ter
com
p
a
r
ison: get rid of the
c
hunk
_
vsl_eq()
f
u
nc
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpent
e
r
compariso
n
:
p
ass the filtered false state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-29
Dan Carpenter
c
o
mparis
o
n: cleanup up
d
ate_tf_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-27
Dan Carpenter
db:
fix handling of nested calls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
a
r
penter
states:
add an assert
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
buf_size: handle str
l
en() a bi
t
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
locking: a
d
d
f
f
s_mutex_lock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carp
e
nter
flow: t
h
e __in
_
pr
e
_c
o
ndition
v
a
riable needs to
b
e set
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpen
t
er
smatc
h
.
h
:
st
o
re some
d
ummy database types temporari
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpent
e
r
db: expose
the data para
m
ete
r
s
o
we can use
data
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan C
a
rpe
n
ter
parse_call_math: chang
e
API to use
r
ange lis
t
s (mostly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n C
a
rpen
t
er
r
ang
e
s: fix
parsin
g
tha
t
I
broke this afternoon
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
comp
a
rison: fix up
filter_com
p
ari
s
on()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpenter
r
anges:
u
se
t
h
e
ranges stored in the databa
s
e properly
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
D
a
n Carpe
n
te
r
ranges: fix crashi
n
g bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
arpenter
ranges: simplify and robustify str_to_rl_he
l
per() a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
pa
r
am_limit: save
the comp
a
rison to t
h
e argumen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
C
ar
p
e
n
ter
fu
n
ction_hoo
k
s: fix how d
a
tabase comparisons are done
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan
Carpenter
compar
i
son: pass t
h
e i
g
n
o
re fi
e
l
d
to
ran
g
e_com
p
ari
s
on_to_par
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-26
Dan Carpenter
c
o
m
pari
s
on: take previous comparison
s
into accou
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Carpenter
d
b: prefer literal
s
to parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-25
Dan Ca
r
p
e
nter
db: re-a
d
d
some missing [
]
characters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
Carpenter
assigned_expr: unde
f
ine on m
o
dification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
an Carpen
t
er
db: fix how parameter math works
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
D
a
n Carpe
n
te
r
assigned_ex
p
r: add reverse links
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-24
Dan
C
arpenter
links
:
create a
smatch_links
.
c fi
l
e with
f
u
n
ctio
n
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carpent
e
r
p
a
r
s
e_call_math: fix left o
v
ers from the format cha
n
ge
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
D
a
n Carpente
r
p
aram_set: wri
t
e s
t
ruct m
e
mbers in terms o
f
para
m
eter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Da
n
Carp
e
nte
r
ex
t
ra: w
r
it
e
cert
a
i
n
returned st
r
uc
t
m
e
m
b
ers
i
n ter
m
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
db:
p
ass the ret
u
rn expr
e
ssion to
t
he returned_member_call
b
ack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan Carp
e
nter
e
x
tra: save return v
a
lues in terms of parameter math
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
C
arpenter
db: unif
y
how para
m
eter descr
i
ptions a
r
e saved
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-22
Dan
Carpenter
comparison: add an igno
r
e
parameter to expr_equal_to_param
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
D
a
n Carpenter
unreachable: ignore the un
r
e
a
chable
(
) macro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan Carp
e
n
t
er
err_pt
r
_
d
eref: passing an ERR_PTR
to kfre
e
() i
s
a bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-17
Dan
Carpenter
extra
:
h
andle merging NULL pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-16
Dan C
a
rpente
r
extra: addresses of arrays are non-N
U
LL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
D
a
n Carp
e
n
t
er
db
:
remove bogus paramet
e
r
i
n
formation from
h
o
ok
type
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-15
Dan
Car
p
ent
e
r
d
b
:
add a
new table w
h
ich
h
old paramete
r
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-11
Dan
C
arpenter
type: int
r
o
duce
type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-09
Dan Carpent
e
r
lo
c
king: remove some duplicate "someti
m
es
l
ocked" warnin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan Carpenter
g
enerisize
.
pl: filter some more st
u
ff
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Carpen
t
er
g
e
neresize
.
pl: clea
n
up
in
d
entation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-09-04
Dan
Ca
r
pente
r
ranges: a p
o
inter to an array is just a pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan Ca
r
penter
extra:
r
ecord g
l
obal declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arpenter
co
n
d
itions: upd
a
te some debug output
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
C
arp
e
n
t
er
comp
a
rison: introduce
p
ossible_compariso
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2014-08-29
Dan
Carpe
n
ter
extra:
updat
e
a
de
b
ug statement
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next