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
hooks: remove some commented out code
2011-10-04
Dan
C
arpenter
hooks: r
e
m
o
ve
s
om
e
c
ommented out
c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
D
a
n
C
arpen
t
er
s
q
l: s
n
p
r
intf(
)
nul te
r
min
a
tes its strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Da
n
Carpen
t
er
db: move buf
_
size to
the new add_
d
efinition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpenter
db: intr
o
duce
add_d
e
fi
n
ition_db_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carpe
n
ter
db: store the values of parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-10-04
Dan Carp
e
nter
db: ma
k
e
d
ata
b
ase code usable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-27
Da
n
Carpenter
*new* min_t() casting t
h
a
t
truncates the values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-23
Dan
C
arpente
r
*
n
ew* rosenberg:
c
h
e
ck for information leaks from
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Ca
r
pen
t
er
f
l
ow: twea
k
the -
>
pos setti
n
g for fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Car
p
enter
f
low: whit
e
s
pace changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
Dan Carpen
t
er
f
l
ow: pass condition assign
m
ents to c
l
ients with ASSIGNMENT
_
HOOK
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-22
D
an C
a
rpen
t
e
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
C
ar
p
e
n
ter
deref
_
c
he
c
k: check_
d
er
e
f: pr
i
nt
b
o
t
h line numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2011-09-13
Dan Carpente
r
cor
e
: set position earlie
r
i
n
smatch_flow
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n Carpenter
sli
s
t: preserve the ->line value correctly
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
D
a
n
Carpen
t
e
r
overflow: print more help
f
u
l
info when the data file
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-09-12
Dan Ca
r
pente
r
g
en_array_bounds: filt
e
r out b
o
gus lines
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
Dan Carpenter
buf
_
s
ize:
sil
e
nce a gcc fal
s
e
positive
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-30
D
a
n C
a
rpenter
use PTR_IN
T
() and INT_PTR() to silence cast warni
n
gs
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Da
n
C
a
r
pe
n
ter
s
l
ist: make al
l
oc_
s
m_
s
tat
e
()
s
t
a
tic
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carpent
e
r
sl
i
st: rem
o
ve so
m
e de
a
d code
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan Carp
e
nter
core: cl
o
ng
_
s
m() should pre
s
erve t
h
e ->line value
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-25
Dan
Car
p
e
nte
r
update smatch
_
d
ata/ for linux-3
.
1
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-08-04
Dan Carpenter
*new* b
o
gus_loops:
warn on bogu
s
f
o
r loops
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-29
Dan Carpe
n
ter
extra: use g
e
t_implied
_
value() i
n
stead of get_value
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-07-26
D
an Carpenter
impli
e
d: handle
a
ssignme
n
ts insid
e
condit
i
ons bet
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpent
e
r
overflow: che
c
k sprintf() and
s
nprintf()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan Carpenter
sm
a
tch_flow:
fix compile
e
rror caused by upstream
c
ha
n
g
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-17
Dan C
a
rpent
e
r
over
f
l
o
w: cut down on false positives
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Dan Carp
e
nter
s
m
a
t
ch_data: update for 3
.
0 ke
r
nel
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
D
an C
a
r
penter
g
en_
n
o_retu
r
n_fu
n
cs: a
l
ways keep t
h
e defau
l
t no return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-13
Da
n
Carpenter
In a cou
p
le place the original chec
k
e
d for --spamm
y
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan Ca
r
pen
t
er
flo
w
:
h
a
ndle kn
o
wn
s
w
i
tch
state
m
e
n
t
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
arpe
n
t
er
*new* re
t
urn_negative_va
r
: retu
r
n
ing positive val
u
e
s
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-09
Dan
C
a
rpenter
*
n
ew
*
memset:
c
heck for me
m
set(x, y, 0);
typ
o
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-06-03
Dan
C
arpen
t
er
Suppo
r
t _
_
builtin_
u
nreac
h
abl
e
()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-26
D
an Carpent
e
r
ove
r
f
l
ow: format_
s
t
r
i
n
gs:
p
ut some
v
erbose messages
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-18
Dan Ca
r
pente
r
bu
f
_size: pu
t
some g
u
esses behind --spamm
y
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Da
n
Carpenter
e
x
tra: h
a
ndle
c
ount down for loo
p
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpen
t
er
add RAW_ASSIG
N
MENT_HO
O
K
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-21
Dan
Carpenter
M
erge g
i
t://git
.
k
ernel
.
o
rg/pub/scm/devel/s
p
a
r
se/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
D
an Carpenter
s
igned:
don't complain abo
u
t
putting 0xff into a sign
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-20
D
a
n Carp
e
n
t
er
loc
k
i
n
g: a
d
d
_
raw_spin_lock
_
nested()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
D
an Carpenter
i
ntroduce SELECT
_
HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new* check_selec
t
:
r
eturn 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
a
fter
input_u
n
regis
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* check_cont
a
iner
_
of: container_of()
doesn't return
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
create
che
c
k_list_lo
c
a
l
.
h whic
h
is for
u
n
t
rac
k
e
d
local
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
C
a
rpenter
l
o
c
kin
g
: _atomic_dec_and_lock()
is
a
s
pinlock()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan C
a
rpen
t
er
files:
cleanup open_file()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
ter
ad
d
default n
o
_return_funcs i
f
n
o
project is specified
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
up
d
ate s
m
atch_data
/
fo
r
2
.
6
.
37
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-12-15
Dan Car
p
e
n
ter
*ne
w
*
che
c
k_access_ok
_
math:
potentia
l
int
e
ge
r
overflows
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
D
an
Carpente
r
h
ooks: introduc
e
ASM_HOOK
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-16
Dan
Carpe
n
ter
te
m
p
orary ha
c
k to solve cr
a
shing
bug i
n
fs/reiserfs
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-13
Dan Carpen
t
er
l
ockin
g
: add __raw
_
spin_
u
nlock_irq() fu
n
ction
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-11-12
Dan
C
arpenter
e
rr_pt
r
_deref:
f
ix assignme
n
ts inside conditio
n
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
locking: add arc
h
_
local_irq_s
a
v
e
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Ca
r
p
e
n
ter
check_type: w
a
rn
about kfree() vs free_n
e
tdev
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-10-05
Dan Carpen
t
er
type: improv
e
handlin
g
o
f array
types
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Car
p
enter
ext
r
a: move some
stuff into s
m
atch_dinfo
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carpenter
buf_size: oop
s
.
.
.
remove d
e
bug output!
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n Carpenter
whites
p
a
ce_o
n
ly: don't
error out ha
n
dl
i
ng
.
h
f
il
e
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
*
n
ew
*
get
_
user_ov
e
rflo
w
: ch
e
ck for int
e
ger overf
l
ows
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Carp
e
nter
s
match_db: don't
complain if
the db doesn't
exist
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
a
n C
a
rpenter
buf_size
:
do cross function analysis
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
*new* uncapped_alloc: print pla
c
es where the use
r
de
c
ides
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
Dan Ca
r
penter
*new* smatch_db:
u
se and sqlit
e
database for cross
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-10
D
an Carpenter
param_mapper: upd
a
te copyright
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-09-01
Dan Carpe
n
te
r
add test
-
inspect to
.
gitignore
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan
Ca
r
pen
t
er
s
match_sc
r
ipts/gen_expe
c
ts_err_pt
r
.
sh
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
smatch_data/kernel
.
array_bo
u
nds:
array boundary data
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Da
n
Carpenter
expe
c
t
s_
e
rr_ptr: make a lis
t
of functions
which accept
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
unwind: a
d
d mo
r
e u
n
w
i
nd function
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpenter
update sma
t
ch_data/ for
2
.
6
.
36-rc2 (part 2)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carp
e
nter
ov
e
rfl
o
w
:
f
i
x
up cross function overflow
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan
Carpenter
remove dead no_le16 cruft
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-26
Dan Carpe
n
t
er
u
n
wind: add more unwind
f
unctions
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Car
p
enter
r
e
move
check
_
l
e
1
6
.
c
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpente
r
Update smatch_d
a
ta to
2
.
6
.
36-
r
c2 [patch
1
o
f
m
ore]
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
D
a
n Carp
e
nt
e
r
ker
n
el
:
co
n
t
a
iner_
o
f() returns a non-NULL poin
t
er
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carp
e
n
t
er
I
ntroduce add_macro_assi
g
n_hook()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-21
Dan Ca
r
pe
n
ter
fi
x
out of memor
y
handling
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpenter
New
f
unctions retur
n
s_unsign
e
d() and returns_
p
ointer()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Carpe
n
ter
*
new* check_info_leak
.
c: places t
h
at pass u
n
-zeroed
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-18
Dan Ca
r
penter
*n
e
w*
check_return_enomem:
complai
n
a
bout returning
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-04
Dan Carpenter
*new* pla
t
form_device_put()
vs
p
la
t
form_dev
i
c
e
_del
(
)
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Da
n
Carpente
r
unwind: literals high
e
r than zero are not an
e
r
ro
r
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
implied
:
o
n
l
y
pri
n
t the nr_children messa
g
es
i
f there
.
.
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
Dan C
a
rpen
t
er
unwind: re
g
ister unw
i
nd functions
tha
t
unwind everything
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-03
D
a
n
Ca
r
pe
n
ter
unwind: update equivalent states
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carp
e
nte
r
extra: clean up unu
s
ed variables
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
equiv: update
v
al
i
dation test
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpen
t
er
e
xtra: han
d
l
e
WARN_ON(func
(
&set_this_poin
t
e
r
));
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Ca
r
pente
r
buf_size: I b
r
oke initializer handling
b
y mistake
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
arpenter
o
ops
.
fix
compile error
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-02
Dan
Carpenter
buf_size: remove m
e
mset()
and memmove()
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpen
t
er
implie
d
_n
o
t_equal: h
a
ndle
l
iterals
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpenter
resource: c
r
ashing bug
o
n
i
n
c
orr
e
ct input
.
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
2010-07-31
Dan Ca
r
p
e
n
ter
buf_size: ig
n
ore dynam
i
c
a
l
ly sized arra
y
s
Signed-off-by:
Dan Carpenter
<error27@gmail.com>
commit
|
commitdiff
|
tree
next