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
extra: cleanup: use my_id instead of SMATCH_EXTRA
2011-10-13
Dan Carpenter
extra: cleanup:
u
se my_id instead of SMATCH_E
X
T
RA
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db:
wr
o
ng paramet
e
r num
b
er in s
t
r
u
ct membe
r
call
b
ac
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
D
a
n Carpenter
e
x
tra: don
'
t print an e
x
t
ra $$
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db: lim
i
t
t
he number o
f
function pointer calls we check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-13
Dan Carpenter
db, extra: introduce add_member_info_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Ca
r
pente
r
e
x
tra, d
b
:
r
eco
r
d
a dummy output for every
f
u
nction
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
D
a
n Carpente
r
db: use option_no_db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Carpenter
extr
a
,
db: mo
v
e some d
b
functions from smatch_extra
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-12
Dan Car
p
en
t
er
b
uf_size:
h
a
n
d
l
e function pointers as w
e
ll
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
Dan Carpenter
db:
follow calls to f
u
nctions pointers as well as
normal
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-11
D
an C
a
rpenter
flow: se
t
positi
o
n
for global variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
Dan
C
arpenter
signed: allo
w
checks like: i
f
(foo < 0 || foo >
x
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
a
n Carpenter
o
ve
r
flow: ge
t
rid
o
f
"buf
f
er overfl
o
w calling %s
.
p
aram
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-10
D
an Carpenter
get rid
o
f
--p
r
int_returns option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an
Carpenter
extra,
d
b: we have to
r
eco
r
d every functio
n
call in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
D
an
C
arpe
n
ter
ranges: inva
l
id ranges default
to t
h
e
w
hole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
enter
s
igned:
d
o
n't war
n
about un
s
i
g
ned compa
r
isons to macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Car
p
en
t
er
ex
t
ra
,
db: record the struct mem
b
e
r
values in th
e
database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Carpenter
extra:
f
i
x
pa
r
sing of values from db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpe
n
ter
f
i
ll_db
_
untrusted: follow un
t
rusted data down the cal
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpenter
extra: don't print if the
mi
n
-max as the value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
pente
r
ranges: intr
o
duce is_whole_range_rl
(
) and fix is_whole_rang
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
arpenter
db:
u
se the function_id co
r
re
c
tly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
Carpenter
fi
l
l_db_call
e
r_i
n
fo: calculate f
u
nction_id cor
r
ect
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
pente
r
debug
:
add
a
__
s
match_possib
l
e("
v
a
r
iable
"
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
unca
p
p
e
d_alloc: use _comp
l
e
x() versio
n
of get_va
r
iable_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
extr
a
:
d
b
:
put single quotes around the function nam
e
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*
n
e
w* sma
t
ch_s
c
ripts/follo
w
_
p
aram
s
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
hooks: remove s
o
me comme
n
ted
out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
sql: snp
r
intf(
)
nul terminates its stri
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
e
n
t
er
db: move buf_siz
e
to the new add_defi
n
ition_
d
b_callbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: introd
u
ce add_
d
efiniti
o
n
_
d
b_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db:
st
o
re
t
he values of
p
arameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
n
ter
db: make database code u
s
able
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan C
a
r
penter
*
new* min_
t
() casti
n
g that truncate
s
the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpent
e
r
*
n
e
w
*
rosenberg: check for informat
i
on leaks fr
o
m the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
fl
o
w: t
w
eak the
-
>pos se
t
tin
g
for
fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
a
r
p
e
n
ter
flow: whitespace ch
a
nge
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
ente
r
flow: pass c
o
nd
i
ti
o
n
assignm
e
nts
t
o clients with ASSIGNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an Carpent
e
r
no_effe
c
t: add som
e
more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Da
n
Carpe
n
ter
deref_
c
heck: check_deref:
pr
i
nt both line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpenter
core: se
t
position ea
r
lier
i
n
s
match_fl
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Kare
l
Zak
smatch: add -
-
data=<di
r
>
o
ption
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpen
t
er
slist: preserv
e
the -
>
lin
e
value corr
e
c
t
ly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
o
v
er
f
low: pr
i
nt
m
ore
he
l
pful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpente
r
gen_arr
a
y_bou
n
ds: filte
r
out bogus line
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Ca
r
penter
buf
_
size:
silence a gcc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
use PTR_INT()
a
n
d
INT_PTR()
t
o
silen
c
e cast warnin
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Car
p
e
nter
s
l
ist:
m
ak
e
all
o
c_sm_stat
e
() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan C
a
rpenter
slist: remove some
dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Ca
r
p
enter
core:
c
long_
s
m()
s
hould preserve the
->line
value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpen
t
er
update smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpe
n
t
er
*new* bogus_
l
oops: warn on b
o
gus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpen
t
er
e
x
tra: use
g
e
t_impli
e
d_value
(
) instead of get_
v
alue
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
a
n Ca
r
pent
e
r
implied: handle assignm
e
nts inside c
o
n
ditions
b
etter
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Carpenter
overf
l
ow: che
c
k sprintf() and snpri
n
tf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
sma
t
ch_flo
w
: fix compile error caused by ups
t
ream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego
E
l
io Pettenò
Fi
x
build wit
h
GCC 4
.
6 series
.
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpenter
ove
r
flow: cu
t
d
o
w
n
on
false
p
ositives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
n
ter
s
m
atch_data: update
f
or 3
.
0
k
e
r
nel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
C
arpenter
g
e
n_
n
o
_retu
r
n_fun
c
s: always keep the defa
u
lt no re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
In a coupl
e
pl
a
ce
t
he
original check
e
d for --spa
m
my
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: ha
n
dle known
s
wit
c
h statement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new
*
return
_
nega
t
i
v
e_var:
retur
n
ing pos
i
t
i
ve val
u
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*ne
w
* mem
s
et: check for memset(
x
,
y
,
0);
t
y
pos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpen
t
er
Suppor
t
__bui
l
tin_
u
nreachab
l
e()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Tet
s
uo Ha
n
da
Fix build error with
o
lde
r
pa
c
k
a
ge
.
commit
|
commitdiff
|
tree
2011-05-23
Randy MacLeod
Fi
x
g
r
ammatical errors in README-sma
t
ch
commit
|
commitdiff
|
tree
2011-01-26
Da
n
Car
p
en
t
er
overfl
o
w: format_strings: put some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Ca
r
penter
buf_size: put so
m
e
g
u
esses behind
-
-spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an Carpente
r
extra:
han
d
le
count down
f
o
r
l
oops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an Carpente
r
add R
A
W_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Merg
e
git://gi
t
.
kernel
.
org/pu
b
/scm/
d
evel/
s
pars
e
/chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
s
ig
n
ed: don't
c
omplain
ab
o
ut put
t
ing 0
x
ff in
t
o
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Da
n
Carpe
n
te
r
locking
:
ad
d
_raw_
s
pin_lock_nested
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
rpenter
in
t
roduce SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan C
a
r
penter
*new* check_
s
elect: re
t
urn
ret <
0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*
new* input_free
_
dev
i
ce: don't c
a
ll this
aft
e
r input_unreg
i
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an Carpen
t
er
*new* check
_
container_o
f
: container_of() doe
s
n'
t
return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
nt
e
r
create
c
he
c
k_list_local
.
h which is fo
r
u
n
tracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpen
t
er
locking: _atom
i
c_dec_an
d
_lock() is a sp
i
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpenter
fil
e
s: cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
p
ente
r
add default no_return_funcs if
n
o
pr
o
j
ect is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
upda
t
e sma
t
ch_d
a
ta/
f
o
r 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan C
a
rpenter
*new* check_access_ok_math: p
o
tential integer overf
l
ows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks: introduce ASM_
H
O
OK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
a
n
C
a
rpen
t
er
tempo
r
ary hack to solve crashi
n
g bug
in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpen
t
e
r
locking: add __raw_spin_unlock_i
r
q() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n Carpenter
err_ptr_d
e
ref
:
fix
a
ssignm
e
nts inside condition
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpent
e
r
locking: add arch
_
local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpenter
che
c
k_
t
ype: w
a
rn about kfree(
)
vs free_
n
etdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Car
p
enter
t
y
pe: improve handlin
g
of ar
r
ay t
y
pes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
extra: move some stuf
f
into sma
t
c
h
_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
buf_size:
oop
s
.
.
.
remove
d
ebug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
whitespa
c
e_onl
y
: don't err
o
r out handling
.
h files
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpen
t
e
r
*new*
g
et_user_overflow
:
c
h
eck f
o
r
i
n
t
eger overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
smatch_db: do
n
't complain
i
f
the
db do
e
sn
'
t exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_
s
ize: do c
r
oss
function analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
e
n
ter
*new* unca
p
ped_alloc: pr
i
nt place
s
wh
e
re the
u
s
er decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* smatch_db: use and sqlit
e
databa
s
e for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next