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
fill_db_function_ptr: fixup formatting changes fallout
2012-02-02
Dan C
a
rpenter
fill_
d
b_function_ptr: fixup forma
t
tin
g
ch
a
nges fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
D
a
n Carpente
r
d
b
_info:
w
e don't car
e
a
b
out void returns for
n
ow
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Da
n
Carpenter
db_info: remove duplicate
i
mplementation
of show_rang
e
s()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
s
ho
w
_unreachable:
f
ormat ch
a
ng
e
s fixu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Da
n
Carpente
r
db
:
remove an
unneeded #
i
nclude
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
tree wide: change outp
u
t
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpe
n
ter
redundant
_
null_ch
e
ck: make some variables static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-26
Dan Carpenter
extra: uninitial
i
z
ed var
i
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan Carpenter
conditio
n
s: add a __pass_
t
o_client(e
x
pr, LOGIC_H
O
OK)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Da
n
Carpenter
over
f
l
ow: don'
t
complain about checks after use,
inside
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan
C
a
r
penter
db:
d
on't increment the fun
c
_id too much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Ca
r
penter
d
b
: t
u
rn synchroniz
a
tion
o
f
f and use a bi
g
ger c
a
c
h
e_size
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Da
n
C
arpenter
*new* l
o
gical_instead_of_bitwise: places that use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan
C
arpenter
sm
a
tch*: check
p
a
t
c
h
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
err_ptr_der
e
f: hand
l
e PTR_R
E
T()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
C
arpenter
val
i
d
ation: remove
o
u
t
of d
a
te sm_
l
ocking5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
cor
e
: handle foo += bar ?
1
:
0; exp
r
essi
o
n
s
d
ifferentl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
penter
e
xtra: don't discard cast
.
s
trip_expr() =>
str
i
p_parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan
Carpen
t
er
extra: cleanup: shuffle code around
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
extra:
do
n
'
t
r
e
m
o
ve casts, t
h
ose
a
re important
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
pen
t
er
deb
u
g: fix s
o
me small mem
o
ry leak
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Ca
r
pe
n
t
er
locking: remove
s
ome f
a
lse
positiv
e
-y fun
c
tions
w
i
thout
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpente
r
loc
k
ing: add
some more lock name variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Carpente
r
db: caller info ne
e
ds to record th
e
-
1 parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Ca
r
p
e
nter
mat
h
: fix t
y
po in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
D
a
n Carpent
e
r
*new* bogu
s
_irqrest
o
re: don'
t
rest
o
re irq
sta
t
e b
e
fore
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carp
e
nter
*
n
ew* chec
k
_wait_for_common
:
make sure the return is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
D
a
n
Car
p
enter
ty
p
e: add e
x
p
r
_
unsigned
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
b
: pass &foo type para
m
eter information
to called
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
Carpenter
math: do math f
o
r get_implied_min/m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
D
a
n
C
arpent
e
r
helper: w
h
en disp
l
a
ying siz
e
of() information u
s
e by
t
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpe
n
ter
capped: tra
c
k capp
e
d variables across
f
unction boundaries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
d
ebug: add _
_
smatch
_
implied_mi
n
/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan
Carpenter
math: white
s
pace changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
D
an Carpenter
db: save
funct
i
o
n
pointers
saved
in arrays
o
f structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
enter
db/function_ptr: clear t
h
e correct table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Dan Car
p
e
nter
db: remov
e
untrusted t
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carpen
t
er
extra: unops don't normally
ch
a
nge the
v
alue of a va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Ca
r
pen
t
er
tiny white
s
pace fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
u
n
capped_
a
lloc: de
l
ete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan Carpent
e
r
helper: remove bogus parens
f
rom get_variable_from_ex
p
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
D
a
n C
a
rpenter
update
s
m
a
t
ch_data
f
or 3
.
2-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
Dan
C
arpenter
Allow che
c
k_de
b
ug
.
h to b
e
included m
o
r
e than
once
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core:
add --file-outpu
t
variable for
m
a
k
e -
j
8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
r
p
enter
sm
a
tc
h
_extra: clear out
struct
m
emb
e
rs if a
t
h
e
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
D
a
n Carp
e
nter
extra: fix c
r
ashing
b
ug from last commit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
extra: expre
s
sions are
equi
v
alent even
if they
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user
_
data: use is_capped
(
) functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
user_da
t
a: handle
b
inops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpenter
*new*
s
match_capped: introd
u
ce is_capped() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Dan Carpent
e
r
*new* chec
k
_
user_data:
r
e
c
ord all t
h
e user data (and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
b
u
f_size:
there was a m
i
stake in h
a
ndling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
bu
f
_size:
record the
siz
e
of struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpen
t
er
extra: cleanu
p
: use my_id in
s
te
a
d of SMATCH_EXTRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
db: wrong paramet
e
r number
in stru
c
t
m
ember callba
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carp
e
nter
extr
a
: don't print an e
x
tra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpenter
d
b: li
m
i
t
the number
of function
p
oin
t
er calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpe
n
ter
db, ext
r
a: introduce
add_mem
b
er_info
_
c
a
llbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpenter
extra
,
db: record
a d
u
mmy outpu
t
fo
r
every function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpe
n
ter
db: use o
p
tion_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extra, db: move so
m
e db functions from sma
t
ch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
Carpenter
buf_size:
ha
n
dle
f
unction pointers
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Da
n
Car
p
enter
db: follow call
s
to function
s
pointe
r
s as w
e
ll
a
s normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
an Carpenter
flow: set posi
t
i
on f
o
r
gl
o
bal variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Ca
r
penter
signed:
allow checks like:
i
f
(
fo
o
<
0
||
foo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
overf
l
o
w: get rid of "buffer overflow calli
n
g %s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
Carpenter
get
r
id of --
p
ri
n
t_r
e
turns op
t
io
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
Carpent
e
r
extra,
db:
w
e
h
ave t
o
re
c
ord every functi
o
n call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpent
e
r
rang
e
s: inva
l
id ra
n
ge
s
d
e
fault to the whole
rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
s
ig
n
ed: don't warn about
unsigned comparisons to
m
a
cr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
extra, d
b
: record the struc
t
member v
a
lues
in the
d
at
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
ext
r
a: fix parsing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
fill_
d
b
_
unt
r
usted: follow untrusted
d
ata down the
c
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
extr
a
:
d
o
n't print i
f
t
h
e min-max a
s
the value
passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpe
n
ter
ranges:
i
ntroduce is_whole_range_rl()
a
nd
f
ix is_whole_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
penter
db: u
s
e
t
he fun
c
tion_id correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
f
i
ll_db_call
e
r_info: calcula
t
e function_id corre
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpe
n
ter
d
e
b
u
g: add a __smatch_pos
s
ib
l
e("var
i
able
"
)
fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
u
ncapped_
a
lloc: use _c
o
mplex() versio
n
of get_vari
a
b
l
e_fr
o
m_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
e
xtra: db: put single
q
u
otes a
r
ound th
e
funct
i
on name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Ca
r
penter
*new* smatch_scripts/follow_params
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Car
p
enter
h
o
oks: rem
o
v
e
some comment
e
d out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
sql: snprint
f
() n
u
l
terminates
its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
d
b
: m
o
ve buf_size to th
e
n
e
w
add_defi
n
itio
n
_db_call
b
ack()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carpenter
db
:
introduce add
_
d
e
finition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an Carpenter
db: store the values
o
f parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Carp
e
nter
db
:
make database code usab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
a
n
C
arpent
e
r
*new*
min_t() castin
g
th
a
t
truncat
e
s the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpent
e
r
*new* rosenberg: chec
k
for i
n
formation l
e
a
k
s from the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
flow: tw
e
ak the -
>
po
s
setting fo
r
fake
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
en
t
er
fl
o
w: w
h
ite
s
pace chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carp
e
nter
flow:
p
ass con
d
ition a
s
signments to
clients wi
t
h ASSIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
no_effect: add som
e
more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
de
r
e
f
_check: che
c
k_
d
eref: print both line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: set position earlier
i
n smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpent
e
r
sl
i
st: preser
v
e the ->line value c
o
rr
e
ctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
pe
n
ter
overflow: print
m
ore
helpful
info when
t
h
e data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
g
en_ar
r
ay_
b
ounds:
f
ilte
r
out bogus
l
ines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
en
t
er
buf_si
z
e
:
s
i
l
ence
a
g
cc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Ca
r
penter
use PTR_INT() an
d
INT_PTR
(
) to silence cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next