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 Carpen
t
er
fil
l
_db_fun
c
tio
n
_ptr: fixup
f
ormatt
i
ng changes fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
D
an Ca
r
penter
db_info: we
d
on
'
t ca
r
e
a
b
out void returns for now
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
db_info: remove duplicate imp
l
ementa
t
io
n
of show_range
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpenter
show_unreacha
b
le:
forma
t
changes fixup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpente
r
d
b: remove an unne
e
ded #include
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpe
n
t
e
r
tree wide: c
h
ange
output
format
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-02-01
Dan Carpente
r
r
e
dundant_null_check: m
a
ke
s
ome v
a
riables stati
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-26
Dan Carpenter
extra:
unin
i
tialize
d
variable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Da
n
Carpent
e
r
conditio
n
s
:
a
dd a __pass_to_client(expr
,
LOGIC_HOOK)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-25
Dan
C
arpenter
overf
l
ow: don't
c
omplain about checks aft
e
r
use,
insid
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Da
n
Car
p
enter
db: don't increment t
h
e func_id
too much
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-20
Dan Carpent
e
r
db: turn sync
h
r
o
nization off a
n
d us
e
a
bigger cache_siz
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-19
Dan Carpent
e
r
*new* logical_
i
nstead_of_bitwise: place
s
th
a
t use
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
Dan Carpenter
smatch
*
:
checkpat
c
h
.
pl fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-12
D
a
n Car
p
ente
r
err_ptr_deref: handle PTR_RET()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Da
n
Carpe
n
ter
validati
o
n: remove out of date
sm_locking5
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpenter
core
:
handle f
o
o += bar ? 1 : 0;
expressions dif
f
e
r
e
ntly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
a
n
C
a
rp
e
nte
r
e
x
tra: don't
d
is
c
a
r
d
cast
.
st
r
ip_expr()
=
> st
r
ip
_
parens()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan C
a
rpenter
e
x
t
ra: cleanup: s
h
uff
l
e
code
aro
u
nd
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpent
e
r
extra: don't remove casts,
t
hose
a
r
e
i
mportant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carp
e
nt
e
r
debug: fix some small memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
D
an Carpenter
locking: remo
v
e some false positive
-
y function
s
without
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-10
Dan Carpent
e
r
lockin
g
: add
s
ome mo
r
e loc
k
na
m
e variations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Car
p
en
t
e
r
db: caller info
ne
e
ds to record the -1 param
e
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2012-01-04
Dan Car
p
en
t
er
math: fix t
y
po in comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-15
Dan Carpen
t
er
*new* bo
g
us_irqrest
o
re: do
n
't r
e
st
o
re irq state bef
o
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan
C
arpenter
*
new* che
c
k_wait_
f
or_c
o
mmon
:
make sure the retu
r
n is
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-09
Dan Carpenter
t
y
p
e
:
add exp
r
_
u
n
signed()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
db: pass &foo type p
a
ramet
e
r i
n
formation to cal
l
ed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
C
a
r
penter
math: do math f
o
r get_i
m
plied
_
min/max()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan Carpenter
he
l
p
er:
w
hen displaying
sizeof() information use bytes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Dan
Car
p
enter
capp
e
d: t
r
ack capped variables across functi
o
n
bound
a
ries
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-08
Da
n
Carpenter
debug:
a
d
d __smatch_implied
_
min/m
a
x()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-12-01
Dan Carp
e
nter
math: wh
i
te space changes
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-25
Dan Carpenter
db: sa
v
e
function
poi
n
te
r
s
s
aved in arrays of
stru
c
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Ca
r
penter
db/
f
uncti
o
n_ptr: clea
r
t
he cor
r
e
c
t
table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-22
Da
n
Carpenter
db
:
r
e
move unt
r
usted table
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-21
Dan Carp
e
n
t
er
extra: unops don't n
o
rmally change th
e
value
of a
va
r
iable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
D
an Carpenter
tiny white space fix
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Dan C
a
rpenter
uncapped_
a
lloc
:
d
e
l
e
te
this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-17
Da
n
Carpenter
helper: remove bogus
parens from get_variable_from_expr
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-16
Dan Carp
e
nter
u
pdat
e
sm
a
tch_d
a
t
a
f
o
r
3
.
2
-rc
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-11-01
D
an Carpenter
All
o
w check
_
debug
.
h to be include
d
more th
a
n on
c
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan Carpenter
core: ad
d
-
-
f
i
le
-
outp
u
t
va
r
iable for make -j8
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-30
Dan C
a
rpenter
smat
c
h_e
x
tra: cle
a
r
o
u
t struct m
e
mbers
if a
t
he pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-28
Dan
C
arpent
e
r
extra: fix crashing bug from last
c
ommit
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Ca
r
penter
e
xtra
:
express
i
ons are equivalent even if t
h
ey are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
D
an Carpenter
u
s
er_data: u
s
e is
_
capped() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Car
p
e
nter
user_dat
a
: handle binop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-22
Dan Carpenter
*new* smatch_capped: introduce is_ca
p
p
e
d
(
) funct
i
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-18
Da
n
Carp
e
nter
*ne
w
* check_user_data
:
record
a
ll the user
data
(a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Da
n
C
a
r
pe
n
te
r
buf_siz
e
: t
h
ere was a mistake in handling calls to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan C
a
rpenter
b
uf_s
i
ze: record the
s
ize of s
t
ruct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
extr
a
: cleanu
p
: u
s
e my
_
id in
s
t
e
a
d
of SMATCH
_
E
X
TRA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db
:
w
rong parame
t
er number in
s
t
r
u
ct member c
a
llback
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
e
x
t
r
a:
don't print an ext
r
a
$$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan
Carpenter
db: limit
the nu
m
ber of function point
e
r calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
an Carpenter
d
b
, extra: introduce add_
m
ember_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpe
n
t
er
e
xtra, db:
record a
dummy
output
f
or ever
y
funct
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpent
e
r
db: use
option_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Da
n
C
a
rpenter
extra, db: move some db fu
n
c
t
ions from smatch_
e
xtra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpent
e
r
buf_size: handle function pointers as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
a
n C
a
rpenter
db:
f
ollow calls to functions poi
n
ters
as well as normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Car
p
en
t
er
flow:
s
et position for
global v
a
riabl
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpenter
signed: al
l
ow checks like: i
f
(foo < 0 ||
f
oo > x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n
Car
p
enter
o
v
erf
l
ow
:
get rid of "buffer ov
e
r
f
lo
w
ca
l
ling
%
s
.
param
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan Carpent
e
r
get rid of
--
p
r
i
nt_returns o
p
ti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ex
t
r
a,
db: we have to re
c
ord every f
u
nction call
i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Dan Carpenter
ranges: invalid ranges default to th
e
who
l
e rang
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carp
e
nter
signed: don't w
a
rn about
u
n
signed comparisons
to m
a
cros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan C
a
rpe
n
ter
extra, db:
rec
o
rd
the
struct memb
e
r val
u
es i
n
the databa
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpent
e
r
extr
a
: fix par
s
ing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fil
l
_
d
b_untrus
t
ed: follo
w
untrust
e
d data down t
h
e
call
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
r
p
enter
extra:
don't print i
f
the min
-
ma
x
as the
v
alu
e
p
assed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an
C
arpenter
ranges: introduce is_whole_range_rl
(
)
and fix is_wh
o
l
e_range
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carp
e
nter
d
b:
us
e
the
fu
n
ction_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpenter
fill_db_caller_i
n
fo: c
a
lculate functi
o
n_id
c
orrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpente
r
debug:
add a __smatch_possible("variable") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
u
n
capped
_
all
o
c: use _co
m
plex()
version of get_
v
ariab
l
e_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
p
e
nter
extra: db: put single quotes around t
h
e functio
n
name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
*new* smatch_scripts/follo
w
_
p
arams
.
p
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpent
e
r
h
o
oks: rem
o
ve some
c
ommented o
u
t co
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snprintf
(
) nul
t
erminates its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpenter
d
b
: move
buf_size to
t
he n
e
w
add_defin
i
tion_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db: introduce a
d
d_def
i
niti
o
n_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carp
e
n
ter
db: store t
h
e
values o
f
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
db: make databas
e
code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
a
n
C
a
rpenter
*ne
w
* min_
t
() cas
t
ing t
h
at tr
u
ncates t
h
e val
u
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpenter
*
n
ew
*
rosenberg: check f
o
r
info
r
matio
n
l
e
aks f
r
om t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
f
l
ow:
t
weak the ->p
o
s setting for fak
e
assign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
C
arpenter
flow:
w
h
i
tes
p
a
c
e
cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpe
n
ter
flow: pas
s
condition assignments to
c
lients with
A
S
S
IGNMENT_HO
O
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Ca
r
penter
n
o
_effect:
add
s
ome more te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
der
e
f_check: check
_
deref: print both line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Ca
r
penter
c
ore: set positio
n
ea
r
l
ier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
K
a
r
e
l Zak
s
m
atch:
a
dd --data=<
d
ir> op
t
ion
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpe
n
ter
slist:
prese
r
ve th
e
-
>line
v
al
u
e correct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
an
C
ar
p
ent
e
r
overflow: print more helpful info whe
n
the data
file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
Carpenter
gen_arr
a
y_bounds: filter o
u
t bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
arpe
n
ter
buf_siz
e
: silence a gcc fals
e
positiv
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next