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: don't print if the min-max as the value passed to the function
2011-10-07
Dan
C
a
rpe
n
t
e
r
extra: don't prin
t
if the min-max
a
s
t
h
e
valu
e
pa
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Da
n
C
ar
p
en
t
e
r
ra
n
ges:
introduce i
s
_whole_range
_
rl() and fix
is_w
h
ole_ra
n
ge
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Car
p
enter
db: use the function_id correct
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
D
an Carpenter
fill_
d
b_caller_i
n
fo: calcu
l
ate function_id corr
e
ctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-07
Dan Carpent
e
r
debug: add a __smatch_p
o
ssible("v
a
riabl
e
") function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
uncapp
e
d_alloc
:
use _complex()
v
ersion of get_variab
l
e_from_
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
extra:
db: p
u
t single
quotes around th
e
function name
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
a
rpenter
*new*
smatch_scripts
/
follow_
p
arams
.
pl
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
pe
n
ter
hooks: re
m
ove
s
ome
c
o
m
mented out code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpen
t
er
sql: sn
p
rintf()
n
u
l
terminates
i
t
s
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpente
r
db: move b
u
f
_
siz
e
to
t
he new add_definition_db_
c
a
llback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
db:
i
ntroduce add_definition
_
db_cal
l
back()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Ca
r
penter
db: store the value
s
o
f
parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan
C
arpenter
d
b
: make datab
a
se code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Dan Carpenter
*
n
ew*
m
in_
t
(
) casti
n
g
that truncates the valu
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan Carpenter
*ne
w
* rosenberg:
che
c
k for
i
nformation leaks
f
rom the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
flow: tweak the ->pos
setting for fake ass
i
gnments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
flow: whitespace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpe
n
ter
flow:
p
ass conditio
n
assi
g
n
m
e
n
ts
t
o clien
t
s
w
ith A
S
SIGNMENT
_
HOO
K
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpent
e
r
no_
e
f
f
ect: add some
m
ore tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
deref_check: che
c
k_de
r
ef:
p
rint bo
t
h
line num
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
enter
core: s
e
t posit
i
on earli
e
r
in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
s
l
ist: preserve the ->
l
in
e
value correct
l
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
overflow: print
m
o
re
h
elpful info when th
e
d
a
ta
f
i
le
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
C
arp
e
n
t
e
r
gen
_
array
_
bound
s
: filter out
bog
u
s lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Ca
r
pe
n
ter
buf
_
si
z
e
: s
i
lence a gc
c
false positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n Carpenter
use PTR_INT() and INT
_
PTR(
)
to
s
ilence cast warnin
g
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n Carpenter
s
l
ist
:
m
a
ke
a
lloc
_
sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
slist:
r
emove so
m
e d
e
a
d code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpente
r
core: clong_sm() should pr
e
serve th
e
->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
D
a
n
C
a
rpen
t
e
r
update smatch_data/ for
l
inux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpe
n
t
e
r
*new* b
o
gus_l
o
o
p
s: war
n
on bogus for loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpenter
extra
:
use
g
et_implied_valu
e
(
) instead of
g
e
t
_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan Carpenter
implied: handle assignm
e
nts i
n
s
i
de c
o
nditio
n
s better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan
C
arpenter
overflow:
c
h
e
ck
s
p
rintf() and
snpr
i
n
tf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n Ca
r
p
e
nter
smatch_flow
:
fix
compile erro
r
c
a
used by ups
t
ream cha
n
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpenter
ov
e
rflow: cut down on fa
l
se positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
smatch_data: up
d
ate for 3
.
0 kerne
l
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carpenter
gen
_
n
o
_return_funcs: always k
e
ep the default no retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
Carpent
e
r
In a couple place
the ori
g
inal ch
e
cked for
-
-
spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
pente
r
fl
o
w: handle known switc
h
statements
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
arpen
t
er
*new* return_ne
g
a
t
ive_var: returning positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Carpenter
*new
*
m
emset
:
check fo
r
m
e
mset(x, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Support __builtin_unrea
c
hable(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
D
a
n
C
arpente
r
overflow: format_string
s
: put
so
m
e verbose
m
e
s
sa
g
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpe
n
ter
buf_size: put some
gues
s
es behind --spammy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpe
n
ter
extra: handle count
d
own for l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan C
a
rpen
t
er
add RAW_A
S
SIGNMEN
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n Carp
e
nter
Me
r
g
e
g
i
t
:
//git
.
kernel
.
o
r
g/pub/scm/dev
e
l/spar
s
e/chris
l
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
signed: don't complain about putt
i
ng 0xff int
o
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Carpenter
locking: add _raw_
s
pin_
l
ock_nest
e
d()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
Carpent
e
r
introduc
e
S
E
LEC
T
_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Da
n
Carpente
r
*ne
w
* check_select: r
e
turn ret < 0 ?:
0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new
*
i
n
put
_
f
ree_devic
e
: don
'
t
c
all this
a
fter in
p
ut_unregis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpente
r
*new* check_container_o
f
: conta
i
ner_of()
d
o
esn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
cr
e
at
e
c
heck
_
list_loca
l
.
h
w
hich is for
untracked lo
c
a
l
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Ca
r
penter
locki
n
g:
_
atomic_de
c
_and_lock()
i
s
a
spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
an
Ca
r
pente
r
files: cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
a
d
d
d
efault no_return_fu
n
cs if n
o
project
i
s
spe
c
ified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
update sma
t
ch_
d
ata/ for 2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan C
a
rpenter
*
new* check_a
c
c
ess_ok_math: po
t
ential inte
g
er over
f
lo
w
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan
C
a
rp
e
n
t
e
r
h
ooks: intro
d
uce ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpe
n
ter
te
m
por
a
ry hack to solv
e
cr
a
shing bug in fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
D
an C
a
rpenter
locking: add
_
_raw
_
spin_unlock_irq() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan
C
arpenter
err_p
t
r_deref:
fix assignments insi
d
e
c
onditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
lo
c
ki
n
g:
a
dd arch_l
o
c
al_irq_save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carp
e
nter
check_type:
war
n
about
k
f
r
ee() vs
f
r
ee_netde
v
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Da
n
Carpenter
type
:
improve handling of array
t
y
pes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
nter
extra: move some stuff into smatch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
bu
f
_
s
ize: oops
.
.
.
remove debug ou
t
p
u
t
!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
whites
p
ace_only: don't
error
out handl
i
ng
.
h file
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* get_user_overflow
:
check for integer overflow
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
smatch_db: don't co
m
plai
n
if th
e
db doesn't exi
s
t
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpenter
buf_size: d
o
cross func
t
ion
analy
s
is
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*
new* u
n
cap
p
ed_
a
lloc
:
print
places where th
e
user decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
nter
*new* smatch
_
db
:
u
s
e
and sqlite d
a
tabase for
c
ross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpenter
p
aram_mapper: update copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
add test-i
n
spect t
o
.
gitign
o
r
e
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpent
e
r
sma
t
ch_scr
i
pts/gen_
e
x
p
ects_err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpente
r
smatch_dat
a
/kerne
l
.
array_bounds:
array
bo
u
nd
a
ry data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpen
t
er
expects_err_ptr: make a l
i
st
o
f
fu
n
cti
o
ns w
h
ich a
c
cept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Ca
r
pent
e
r
unwind: add
more unw
i
n
d
funct
i
ons
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
n
t
er
update s
m
atch_
d
ata
/
for
2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
ove
r
flow: fi
x
up
cros
s
funct
i
on
o
verflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Ca
r
penter
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
unwind:
a
dd more unwind
functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpente
r
r
e
m
o
ve check_le16
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Updat
e
s
m
atc
h
_data to 2
.
6
.
3
6
-
rc2 [patch
1
of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan
Carpenter
kernel
:
container_o
f
() retur
n
s
a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpe
n
ter
Introduce ad
d
_macro_
a
s
s
ign_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpente
r
f
i
x out of memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
C
arpe
n
ter
New func
t
ions retu
r
ns_unsig
n
e
d
(
) and returns_point
e
r()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpen
t
er
*new* check_
i
n
f
o_
l
eak
.
c:
p
laces that pa
s
s un-
z
e
r
oed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* c
h
e
ck_r
e
t
u
r
n
_
enomem: com
p
lain about
r
etu
r
ning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpe
n
ter
*ne
w
* platform_device_put() vs platform_device_del()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n Carpenter
unwind: li
t
e
rals h
i
g
h
er than zero are not an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Car
p
enter
i
mplied: onl
y
pri
n
t the nr_
c
hild
r
en messages i
f
t
here
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpenter
u
n
wind: reg
i
ster u
n
win
d
functions that unwind everyt
h
ing
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwi
n
d: upd
a
te e
q
uiva
l
e
n
t
states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpenter
extra: clean up
unused variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next