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
flow: tweak the ->pos setting for fake assignments
2011-09-22
Dan
Carpente
r
flow: tweak the ->pos
setting for fake assig
n
me
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Da
n
Ca
r
pent
e
r
flow: whitesp
a
ce chang
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
a
n
Carpe
n
ter
f
low: pass
condition assignments to
c
l
i
e
nts with ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpente
r
no_eff
e
ct: add some more tests
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-14
Dan Carpenter
der
e
f_check: check_dere
f
: p
r
i
nt both l
i
n
e numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Car
p
enter
core:
set position e
a
r
lier in smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
Carp
e
nte
r
slist: pre
s
erve the -
>
l
ine value correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
o
v
erflow: print more helpful info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Carpenter
gen_array_
b
ounds: filter o
u
t bo
g
us lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
buf_size: silence a gcc false p
o
sitive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan C
a
r
pen
t
er
use PTR_INT() an
d
IN
T
_PTR() to silenc
e
ca
s
t warnings
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Ca
r
pente
r
sli
s
t: make a
l
loc
_
sm_state() static
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpenter
slist: remove some d
e
a
d
code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
C
arpente
r
core: clong_
s
m()
s
hou
l
d
p
reserve th
e
-
>
line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Carp
e
nter
upd
a
te smatch_
d
ata/
f
or linux-
3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*new* bogus_lo
o
p
s
:
warn on bogus for loop
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpen
t
er
extra: use ge
t
_implied_value() instead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
Dan
Carpen
t
er
i
mplie
d
: ha
n
d
le assignme
n
ts inside c
o
nditions better
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
an
Carpenter
overflow: check sprintf
(
)
a
n
d
snprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpe
n
ter
sma
t
ch
_
flow: fix compile error cau
s
ed by upst
r
eam changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
D
a
n
Carpente
r
overflow: c
u
t down on fal
s
e po
s
itives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan C
a
rpenter
s
m
atch_data: update f
o
r 3
.
0 kernel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
nter
gen
_
no_return_f
u
ncs: a
l
ways keep the
def
a
ult no re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan
C
arpente
r
I
n
a couple place th
e
original checked
f
or --spammy
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan C
a
rpenter
flow
:
handle
kno
w
n
s
witc
h
s
t
a
tement
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
D
a
n Carpenter
*new* return
_
n
e
gative
_
var: re
t
u
r
ning positive values
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
Carpent
e
r
*new* memset: check
fo
r
memset(
x
, y, 0); typos
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan Carpenter
Support __builtin_unreachable()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
Dan Carpenter
overflo
w
: format_s
t
ri
n
gs:
p
ut some verbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Carpenter
b
uf_size
:
put some guesses be
h
ind
-
-sp
a
mmy
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carp
e
nter
extr
a
:
h
andle
c
ount down for
l
o
ops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
D
an Ca
r
penter
add RAW_ASSIGNMENT_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan Carpenter
Merge git://git
.
ke
r
nel
.
org/pub/scm/devel/s
p
arse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Dan
C
arpenter
signed: don't
c
o
m
plain
a
b
ou
t
putting 0x
f
f i
n
to
a signed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
Dan Car
p
e
nte
r
locking: add _raw_spin_lock_ne
s
ted()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan
C
a
r
penter
intro
d
uce SELE
C
T_
H
OOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Da
n
Ca
r
p
enter
*
n
ew
*
chec
k
_select:
r
e
turn ret < 0
?: 0;
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carp
e
nter
*n
e
w
* inpu
t
_f
r
ee_device: don't call this after input_unregi
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new
*
check_cont
a
iner_
o
f: contai
n
er_of() d
o
es
n
't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpen
t
e
r
create
c
h
e
ck_
l
ist_loc
a
l
.
h which is for untracke
d
lo
c
al
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
D
a
n Carpenter
locking
:
_atom
i
c_dec_an
d
_
loc
k
() is a spinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
rpenter
files: clean
u
p open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
ter
add default n
o
_return_fu
n
cs if
no
p
roject is specif
i
ed
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carp
e
nter
update
s
match_data/ fo
r
2
.
6
.
3
7
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*
n
ew* c
h
eck_access_ok_math: pot
e
n
t
ial i
n
teger ov
e
r
fl
o
ws
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpen
t
er
hooks: introd
u
c
e
ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan Car
p
e
n
ter
t
e
mp
o
rary hack to solve crashing bug in fs/reise
r
fs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Da
n
Ca
r
penter
locking:
add __raw
_
spin_u
n
loc
k
_irq() function
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n Carpenter
e
rr_ptr_dere
f
:
f
i
x as
s
ign
m
ents insid
e
conditions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
lock
i
ng:
add a
r
ch_local_irq
_
save()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan C
a
rpent
e
r
check_
t
ype:
w
arn
a
bou
t
k
free()
vs fr
e
e_n
e
t
d
ev()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Da
n
Carpenter
ty
p
e: improv
e
han
d
ling of arra
y
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carp
e
n
ter
extra: move so
m
e stuff into s
m
atch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
b
u
f_size
:
oops
.
.
.
remove debug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
whit
e
space_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 Car
p
e
n
ter
*new* get_u
s
er_overflow: check for int
e
ger
o
verflows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
smatc
h
_d
b
:
don't complain if the
db
d
oesn't
e
xist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
bu
f
_s
i
ze:
d
o cros
s
f
unction analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
*ne
w
* uncapped_alloc: print places
w
here the user decides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arp
e
nte
r
*new* smatch_
d
b: us
e
and sqlite database
f
o
r cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpent
e
r
param_
m
apper: up
d
ate
c
o
p
yright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpenter
a
d
d
t
est-i
n
s
p
e
ct t
o
.
giti
g
nore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an
C
arpenter
smatch_scripts/gen_expects
_
err_ptr
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
smat
c
h_data
/
ker
n
el
.
a
r
ray_bounds: a
r
ra
y
boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
r
p
enter
expect
s
_err
_
ptr:
m
a
k
e a lis
t
of functions w
h
ich
a
cc
e
pt
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
unwi
n
d: add
more unwind function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
D
an Carpenter
upda
t
e sm
a
t
c
h_data/ for
2
.
6
.
36-rc2 (p
a
rt 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
overf
l
ow: fix
u
p c
r
oss function overflow
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpente
r
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpenter
unwind: add more unwind functions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n
C
a
r
p
enter
remove check_le
1
6
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
Up
d
at
e
s
match_data to
2
.
6
.
36-r
c
2 [patch 1 of more]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpent
e
r
kernel: con
t
a
i
ner_of()
r
eturns a non-NULL pointer
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
an Carpenter
Introduce add_m
a
cro_ass
i
gn_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Carpenter
f
i
x out of memory handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
New functions returns_un
s
i
g
ned()
and returns_pointer
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Ca
r
pen
t
er
*
n
e
w
* check_info_leak
.
c
:
plac
e
s
th
a
t pass un-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpenter
*new* check_return
_
e
n
om
e
m: c
o
mp
l
ain
a
bout returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*n
e
w* platform_device_put() vs
platform_d
e
vice_de
l
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
an
C
a
rpenter
unwind: literals
h
igher t
h
an zero
are not an error
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
C
a
rpenter
im
p
lied: only
pri
n
t
t
he nr_children messages if
t
her
e
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unw
i
nd:
regi
s
ter unwind
f
unct
i
ons that unwind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpent
e
r
unwind: update equivalent
sta
t
es
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpent
e
r
ext
r
a:
c
lean up unus
e
d v
a
riables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
equiv:
u
p
d
at
e
val
i
datio
n
test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
ext
r
a
: handle
WA
R
N_
O
N(func(
&
set_this
_
pointer
)
);
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpent
e
r
buf_size: I broke in
i
tializer
h
an
d
ling by mist
a
ke
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
D
an C
a
rpenter
oops
.
fix compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Car
p
en
t
er
buf_size
:
remove mem
s
et() and me
m
move()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
D
an Carpenter
implied_not
_
equal: handle
l
iterals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpent
e
r
resour
c
e
:
c
r
a
shing bug on incorrect input
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
u
f_s
i
ze: i
g
n
o
r
e
d
y
n
a
mically sized arr
a
ys
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Da
n
C
arpenter
b
u
f_size: ad
d
su
p
port for memdup()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
buf_size: ad
d
su
p
port for st
r
n
d
up()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpen
t
er
b
uf_size: u
s
e strcpy() to
d
e
t
ermine the size of the
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
te
r
buf_si
z
e: use strncpy
(
)
and friends
to set the buf
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carp
e
nter
buf_size: white
s
pace changes
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n
C
a
r
p
ent
e
r
overflow: remove unu
s
ed funct
i
o
ns
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Ca
r
p
e
n
ter
buf_si
z
e: use alloc
_
state
_
num(
)
instead o
f
cust
o
m version
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
D
an Carpenter
buf_s
i
ze:
r
e
move u
n
used definiti
o
n
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next