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, db: we have to record every function call in the db
2011-10-09
Dan Carpenter
extra, db: we ha
v
e to
r
ecord e
v
er
y
fu
n
ct
i
on c
a
ll
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-09
Da
n
C
a
rpenter
ranges: i
n
valid ranges defau
l
t
t
o the whole range
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
a
n Carpen
t
e
r
signe
d
: don't
w
arn a
b
ou
t
unsigned co
m
parisons to
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
D
an Carpe
n
ter
extra,
d
b
: record t
h
e struc
t
m
e
mber v
a
l
u
es
i
n the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-08
Dan Ca
r
penter
extr
a
:
fix pa
r
sing of val
u
es from d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpenter
fill
_
db_
u
ntrusted
:
follow untrusted data dow
n
the cal
l
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan C
a
rpent
e
r
extra: don't pri
n
t if th
e
min-max as t
h
e value passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
a
n Carpenter
ranges: introduce is_whole_range_rl() and
fix is_whole
_
r
a
nge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan
C
a
rpenter
db:
u
se
t
h
e function_id co
r
rectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Ca
r
pe
n
ter
f
ill_db_cal
l
er_
i
n
f
o
:
ca
l
culate func
t
ion_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpen
t
er
d
e
bug
:
add a __sm
a
t
c
h_possible("variable")
f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
enter
u
ncap
p
ed_alloc:
u
s
e
_co
m
pl
e
x() version of ge
t
_
v
ar
i
a
b
le_f
r
o
m
_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
C
ar
p
e
nter
ext
r
a: db: put single q
u
otes a
r
ound the function
n
ame
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
*new* smatch_script
s
/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpenter
h
o
oks: r
e
move
some
c
ommented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
ar
p
enter
s
ql
:
s
nprintf
(
)
nul terminates
its stri
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
Car
p
en
t
er
db:
mov
e
buf_s
i
ze to the new add_defi
n
ition_db_
c
allba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Car
p
en
t
er
db: introduce add_
d
efinition_
d
b_callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: sto
r
e the values of parame
t
er
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpent
e
r
db: make d
a
tabase
c
ode usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
D
an
C
a
r
p
enter
*new* mi
n
_
t
() casting th
a
t truncates
t
h
e
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan
C
arpen
t
er
*n
e
w* rose
n
berg: c
h
eck f
o
r information
l
e
aks
f
rom th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
penter
flow: tweak the ->pos setting for
f
a
ke
a
ssignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Carpenter
flow: whit
e
s
p
ace ch
a
nges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpente
r
flow: pa
s
s condi
t
ion ass
i
gnme
n
ts to clients
with ASSI
G
NM
E
NT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
C
arpenter
no_effec
t
: add
s
ome mor
e
tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
D
a
n
C
arpenter
deref_chec
k
:
chec
k
_d
e
ref: print both line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
D
a
n
C
arpenter
core: set pos
i
tion earl
i
er in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Ka
r
el Zak
s
m
atch
:
add
-
-data=<
d
ir> option
commit
|
commitdiff
|
tree
2011-09-12
Dan
Carp
e
nter
slis
t
: preserv
e
the
->line va
l
ue correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: print m
o
re helpf
u
l info when the da
t
a file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
g
e
n_array_bounds: filt
e
r out bogus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Ca
r
penter
buf_size: silence
a
gcc fals
e
p
o
siti
v
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpe
n
ter
use PTR_I
N
T
(
)
and
INT_PTR() t
o
sile
n
ce cast warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Ca
r
penter
s
l
ist: make alloc_sm
_
state(
)
static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
Carpenter
sli
s
t: remov
e
some dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpent
e
r
core
:
clong_sm() should preserve the ->line
v
alue
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
an Carpenter
update smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpe
n
ter
*
n
ew* b
o
g
us_loop
s
:
warn on
b
o
gus f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
ext
r
a: us
e
g
e
t_impli
e
d_value() instead of get_valu
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
impli
e
d: handle assignment
s
i
n
side con
d
itions
bette
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Carpenter
o
v
erflow:
c
h
e
ck sprint
f
() and sn
p
rintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
a
rpenter
smatch_flow:
f
i
x
compile error caused by upstream cha
n
ges
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Diego
E
lio
P
et
t
enò
Fix
bu
i
ld with GCC 4
.
6 seri
e
s
.
commit
|
commitdiff
|
tree
2011-06-17
Da
n
Car
p
ente
r
overflow: cut down o
n
false posi
t
ive
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
nter
smat
c
h_dat
a
: update for 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpe
n
ter
g
en_n
o
_re
t
urn_fu
n
cs:
a
lways keep the defaul
t
n
o return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
I
n a couple p
l
ace
t
he original check
e
d for --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
penter
flow:
handle know
n
s
witch statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n
C
arpenter
*new*
r
eturn_negative
_
var: returning
positi
v
e values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan C
a
rpente
r
*new
*
memset: check
for me
m
s
et(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
arpen
t
er
Su
p
port _
_
builtin_unreachabl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-05-23
Te
t
s
u
o Handa
Fix build error w
i
th older p
a
ck
a
ge
.
commit
|
commitdiff
|
tree
2011-05-23
Ra
n
dy MacLeod
Fix
grammatical
e
rrors in README-smatch
commit
|
commitdiff
|
tree
2011-01-26
D
an C
a
rpent
e
r
overfl
o
w: format_stri
n
gs: pu
t
some
v
erbose
m
e
ssage
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
D
a
n
C
a
rpenter
buf_size: put some guesses behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extr
a
: handle
c
ount down for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an
Ca
r
penter
a
d
d RAW_ASSIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carpenter
Merge git://git
.
kernel
.
org/pub/scm
/
devel/sparse/chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
signed
:
don't co
m
plain about putting
0xff into a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
D
a
n Ca
r
penter
l
o
c
k
in
g
: add _
r
aw_spin_lock_nes
t
ed()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpente
r
i
n
troduc
e
SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_select:
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_de
v
ice: don't call this af
t
er inpu
t
_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* check_co
n
tainer_of:
c
on
t
ain
e
r_of() do
e
sn't retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carp
e
nter
c
reat
e
c
heck_list_loc
a
l
.
h whic
h
is for untracked loc
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpen
t
er
l
o
cki
n
g: _
a
tomic_dec_and_
l
o
c
k() is
a sp
i
nlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
fi
l
es: cleanup
o
p
en_f
i
l
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rp
e
nter
a
dd default
no_return
_
fu
n
cs i
f
no proj
e
ct is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan
C
arpe
n
ter
upd
a
t
e
sma
t
ch_data/ for
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* ch
e
ck_acce
s
s_ok_m
a
th:
p
ot
e
ntial integer overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks: introduce A
S
M_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan C
a
rpenter
t
e
m
p
orary
h
ac
k
to solve cras
h
in
g
bug in
fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpenter
locki
n
g
:
a
dd __raw_spin_unlock_irq() fun
c
tio
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan Carpenter
err_ptr_deref: fix
assi
g
nm
e
nts inside conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
lockin
g
: add arch_local_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan
C
a
r
pent
e
r
check_type: warn ab
o
ut kfree() vs fr
e
e_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpent
e
r
ty
p
e: i
m
prove
handling o
f
a
r
ray t
y
pes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
e
x
tra: move some stuff into
smatch_dinf
o
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Car
p
e
n
ter
bu
f
_s
i
ze: oops
.
.
.
r
e
move debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carp
e
nter
w
hitespace_only:
don't
e
rror out handling
.
h
f
iles
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
new* get_user_o
v
erfl
o
w: check
f
or integer overflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
rpenter
s
match_db:
don't
complain
if the db
d
oesn
'
t
exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpente
r
buf_s
i
z
e: do cross function
anal
y
si
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan C
a
r
pen
t
er
*
n
e
w*
u
ncapped_alloc: pr
i
nt plac
e
s
where the
u
s
er decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
*
n
ew* smatch_db: use and sqlite
d
atabase for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Car
p
e
n
t
e
r
pa
r
a
m
_
mapper: update copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carp
e
nter
s
m
atch_scrip
t
s/gen_ex
p
ects_
e
rr_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an C
a
rpenter
smat
c
h_
d
a
t
a/ke
r
nel
.
ar
r
ay_bounds: array boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
e
x
pects_err_ptr:
m
a
ke a list of fun
c
tio
n
s which ac
c
ept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
n
ter
unwi
n
d: add more unwind functio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carpenter
update
s
match_
d
ata/ f
o
r 2
.
6
.
36-rc
2
(part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carpenter
overflow
:
fixup cros
s
func
t
i
o
n over
f
lows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
an Carpe
n
ter
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
C
arp
e
nter
unwind: add more unwind fun
c
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan C
a
rpenter
remove
c
he
c
k_le
1
6
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Upda
t
e sm
a
tch_data to 2
.
6
.
36-rc2
[patch
1 of
m
o
re]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpente
r
kernel: co
n
t
a
iner_
o
f()
r
eturns
a non
-
NULL
p
o
i
nt
e
r
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Introduce add_macro_assign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
D
a
n
Carpenter
f
ix out o
f
memory
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next