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_caller_info: calculate function_id correctly
2011-10-07
Dan Carp
e
nte
r
fill_d
b
_calle
r
_
i
nf
o
: cal
c
ulate functi
o
n_id correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
Carpenter
d
e
bug:
add a __smatch
_
poss
i
ble("variable")
f
unction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
uncapped_alloc: use _com
p
lex()
v
e
r
s
ion of
get_variable_
f
rom_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan C
a
rpen
t
er
e
xtra:
d
b
: put single quote
s
around t
h
e
function name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
*new*
smatc
h
_script
s
/follow_params
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n Carpent
e
r
hooks: remove some co
m
me
n
ted out cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
ar
p
enter
sql: snprintf
(
) nul terminat
e
s
i
ts strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
an
Ca
r
p
e
nter
db: move
buf
_
size to the n
e
w ad
d
_d
e
fin
i
tion_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
d
b
: introduce add_
d
efi
n
i
t
io
n
_
d
b_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: store the v
a
lues of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpe
n
ter
db:
mak
e
d
a
ta
b
as
e
code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Car
p
e
n
t
er
*new
*
mi
n
_
t() cast
i
ng that truncates the valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Da
n
Carpe
n
ter
*
new* ro
s
enber
g
: ch
e
c
k for informa
t
ion leaks from t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
pe
n
ter
flow:
t
weak
t
he ->p
o
s setti
n
g for fake assignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpenter
f
low: w
h
i
te
s
pace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan
Carpenter
flow:
pa
s
s conditio
n
assi
g
nments
t
o cli
e
n
ts with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n Carpenter
n
o
_e
f
fect: ad
d
som
e
mor
e
tests
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 number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan C
a
rpenter
co
r
e: set
p
osit
i
on earlier in smat
c
h
_
f
l
o
w
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan
C
arpent
e
r
sl
i
st:
pr
e
se
r
ve the ->line value cor
r
ectly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan C
a
r
p
enter
overflow: print mo
r
e
help
f
ul info when the dat
a
fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Da
n
Carpenter
gen_array_bo
u
nds:
f
i
lt
e
r
o
u
t bogus
lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Car
p
en
t
er
buf_size: silenc
e
a
g
cc false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan
C
ar
p
enter
u
s
e P
T
R_
I
NT
(
)
a
n
d
INT_PTR()
to silence c
a
st warn
i
ngs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
penter
slist: make allo
c
_sm
_
state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpen
t
er
slist: remove som
e
dead code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
core:
c
long
_
sm() should preserve the ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arp
e
nter
up
d
ate smatch_data/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan
Carpenter
*new* bogu
s
_loops: warn on bogus for l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpe
n
ter
e
x
t
r
a: use ge
t
_imp
l
ied_value()
i
nstead o
f
ge
t
_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpen
t
er
im
p
lied: handle ass
i
g
nments inside con
d
ition
s
better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
overfl
o
w: check
sp
r
intf() and sn
p
r
intf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
smat
c
h_flow:
fi
x
compil
e
e
rror caused by u
p
stream changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Da
n
C
arpenter
overflow: cut down on false
po
s
i
t
ives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
a
n
Car
p
e
n
ter
smatc
h
_da
t
a: update
f
or 3
.
0 kerne
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an
Carpenter
ge
n
_no_return
_
funcs: always keep
the defau
l
t
n
o return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an Carp
e
nt
e
r
I
n
a co
u
ple place th
e
original ch
e
ck
e
d for --
s
pammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
flow: handle know
n
switch st
a
tem
e
nt
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpe
n
ter
*n
e
w
*
return_negative_v
a
r: retu
r
ning positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Car
p
e
nter
*new* mem
s
et: ch
e
ck
for m
e
m
s
e
t
(x, y, 0
)
;
typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
arpenter
Supp
o
rt __builtin
_
u
n
reachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan
C
arpen
t
er
overflow:
f
ormat_strings: pu
t
some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
D
a
n Carpenter
buf_s
i
ze: put some
g
ue
s
ses beh
i
n
d --sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
a
n
Carpente
r
e
xtra: han
d
le cou
n
t
down f
o
r
loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
add RAW_ASSIG
N
MENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
an Carp
e
nter
Me
r
ge
git:
/
/git
.
kernel
.
org/pub/scm/de
v
el/
s
pa
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Ca
r
penter
signed: don't com
p
lain about
p
utting 0xff into
a sig
n
ed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _ra
w
_spin_lock_nested
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Car
p
enter
introduc
e
SELECT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new*
che
c
k
_select: ret
u
rn ret < 0 ?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new*
input_f
r
e
e_
d
e
vice: don't call this after input_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*ne
w
*
check_conta
i
ner_o
f
:
c
ontai
n
er_of() doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpen
t
er
create check_list_local
.
h
w
h
i
ch is for untracked local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Car
p
ent
e
r
locking: _atom
i
c_dec_and_lock() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an
C
arpe
n
ter
f
iles: clea
n
u
p
open
_
file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
pente
r
add d
e
fault
no_return_fu
n
cs
if no
project is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
update
sma
t
ch_data/
f
or 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpen
t
e
r
*
n
ew* c
h
e
c
k_a
c
ce
s
s_ok_math
:
potent
i
al int
e
g
e
r overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpenter
hooks: in
t
r
oduce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan
Carpenter
temporar
y
h
a
ck
t
o solve c
r
a
s
hin
g
bug i
n
fs/re
i
serfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Da
n
Carpenter
locking: add __raw_spin_un
l
ock
_
ir
q
()
f
u
n
ct
i
on
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan
Ca
r
pent
e
r
err_pt
r
_deref
:
fix
assig
n
ments insid
e
cond
i
tions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpe
n
ter
lo
c
king: add arc
h
_local_irq_save
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Ca
r
pente
r
check_type: warn about
kfree() vs
f
ree_netdev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carp
e
nter
type: improv
e
h
andling of array types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
ext
r
a: move som
e
stuff into sma
t
ch_dinf
o
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
buf_siz
e
: oo
p
s
.
.
.
r
e
move deb
u
g
o
utpu
t
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpe
n
ter
whitespa
c
e_only: don't error out handling
.
h f
i
les
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
er
*new* get_user_overflow: chec
k
f
o
r integer ov
e
rflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
smatch_db
:
don't
c
omp
l
ai
n
i
f
t
he db doe
s
n't exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
e
r
buf_size: do cross
f
unction analys
i
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpen
t
er
*new* uncap
p
ed_
a
llo
c
: print places wh
e
re the u
s
er decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
*
n
ew*
s
match_db:
u
se and sqli
t
e database for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carp
e
nter
param_m
a
pper: updat
e
copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan
Car
p
ente
r
add test-inspect to
.
gitign
o
r
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an
C
ar
p
en
t
er
smatch
_
sc
r
ipt
s
/gen_expec
t
s_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
smatc
h
_data
/
kerne
l
.
arr
a
y_bound
s
: array bound
a
ry data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Ca
r
penter
exp
e
cts_e
r
r_ptr: make a list
o
f
f
un
c
t
i
o
ns which accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Carpen
t
er
u
n
wind: add mo
r
e
unwind funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
a
n Car
p
enter
update s
m
atch_data/ for 2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
overfl
o
w: fixup
cross
f
unctio
n
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
a
n Carpenter
remove dead no_le
1
6 cr
u
f
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
D
an Ca
r
pe
n
ter
unwind:
add mo
r
e unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Car
p
enter
rem
o
ve che
c
k_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpenter
Update smatch
_
data to 2
.
6
.
36-rc2 [patch 1
o
f more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Ca
r
p
e
nte
r
kernel:
c
ontainer_
o
f()
r
e
turns a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpenter
Intro
d
uce
add_m
a
cro
_
assi
g
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpe
n
t
e
r
fix o
u
t of
m
e
m
ory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carpen
t
e
r
New functions
r
eturns_unsigned(
)
a
n
d
r
e
tur
n
s_po
i
nter()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpent
e
r
*new* ch
e
ck_info_leak
.
c:
p
lace
s
that pass un-zeroe
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpen
t
e
r
*new* check_retur
n
_enomem: complai
n
about
returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*new* platform_dev
i
ce_put() vs platfor
m
_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carpent
e
r
unwin
d
:
lite
r
a
ls higher than zero are not
a
n
error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Car
p
enter
implie
d
: only print the nr_children messages if there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpenter
unwind: register
u
nwind fun
c
tions that u
n
wind ever
y
th
i
ng
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan
C
a
rpenter
unw
i
nd:
u
p
d
ate
e
quivalen
t
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpe
n
ter
extra
:
clean up unused variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
equiv: update val
i
datio
n
test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra: h
a
ndle WA
R
N_ON
(
func(&set_this_pointer));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an Carpenter
buf_size
:
I broke in
i
tializer handling by mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next