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
Support __builtin_unreachable()
2011-06-03
Dan Carpenter
Suppo
r
t __builtin_u
n
reachable()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-26
Da
n
Carpenter
overflow:
f
ormat_
s
t
rings: put
some v
e
rbose messa
g
es
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-18
Dan
C
arpenter
buf_size
:
p
u
t some guess
e
s behind
--spammy
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
extra:
h
a
ndle count down
for loo
p
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2011-01-11
Dan Carpenter
add RAW_AS
S
IG
N
MENT_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-21
D
a
n
C
a
r
penter
M
e
rg
e
g
i
t:
/
/git
.
kernel
.
o
rg/pub/scm
/
devel/s
p
arse/
c
hrisl
.
.
.
commit
|
commitdiff
|
tree
2010-12-21
Da
n
Carpenter
signed:
d
on't complain
a
b
out putting
0
xff into a s
i
gn
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-20
Dan Car
p
enter
locking: add _raw_
s
pin_loc
k
_nested()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpe
n
te
r
introduce SELECT_
H
OOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-17
Dan Carpenter
*new*
c
heck
_
select: return re
t
< 0 ?: 0;
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
*new* inp
u
t_free_device
:
don
'
t call
t
his after input_unregis
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpent
e
r
*
n
ew*
ch
e
c
k
_
container_of
:
cont
a
iner_of() doesn't return
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Da
n
Carpenter
cre
a
te check_list_local
.
h
which is for u
n
tracked local
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan
Carpente
r
l
o
cking: _atomic
_
dec_and
_
lock() is a s
p
inlock()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpenter
f
i
les: clean
u
p
o
pen_file()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
D
an
C
arpente
r
add defau
l
t no_retu
r
n_funcs if no pr
o
je
c
t is
specified
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-16
Dan Carpe
n
te
r
update smatch_data/ for
2
.
6
.
37
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-12-15
Dan Carpenter
*new* check_
a
c
cess_ok_mat
h
: p
o
tential integer o
v
erfl
o
ws
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpent
e
r
hooks: i
n
troduce A
S
M_HOOK
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-16
Dan Carpente
r
tem
p
o
r
ary
h
ack to solve crashing bug in fs/r
e
i
s
e
r
fs
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-13
Dan Ca
r
penter
lo
c
king: a
d
d _
_
raw_spi
n
_unlock_irq() function
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-11-12
D
a
n
Car
p
enter
err_ptr_deref: fix assig
n
m
e
n
ts
i
nside conditions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-25
Dan Carpenter
locking: add arch_lo
c
al_ir
q
_
s
ave()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
D
a
n Carpenter
check_t
y
pe: warn about kfr
e
e() vs
f
re
e
_
n
e
tdev()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-10-05
Dan
C
ar
p
ente
r
type: improve handling of array types
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpenter
extra: move som
e
stuff
i
nto smatch_d
i
nfo
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpent
e
r
buf_size: oops
.
.
.
re
m
ove deb
u
g
outp
u
t!
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
whitespa
c
e_on
l
y: don't err
o
r
o
ut handling
.
h
f
iles
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
*new* get_
u
se
r
_overflow: ch
e
c
k for integer overflows
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Da
n
Carpenter
s
m
a
t
ch_db: d
o
n
'
t
complain
i
f the
db do
e
sn't
e
x
i
s
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan Carpe
n
ter
buf_size
:
do cross
functio
n
a
n
alysis
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
D
an
Carpen
t
e
r
*
new* un
c
apped_alloc:
p
ri
n
t places where
t
h
e
user dec
i
des
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan
Ca
r
p
e
nter
*new* smatch_db:
u
se
and
s
qlite database fo
r
cross
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-09-10
Dan
C
arpenter
param_mapper: u
p
d
a
te
c
opyrig
h
t
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpen
t
er
sm
a
tch_
s
cri
p
ts/gen_expects_err_ptr
.
sh
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpe
n
ter
smatch_dat
a
/kernel
.
array
_
b
ou
n
ds: ar
r
ay bound
a
ry data
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan C
a
rpenter
expects_
e
rr_pt
r
:
m
ake a
list o
f
functio
n
s which accept
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
D
an
C
ar
p
enter
unwind: add m
o
re unwind
f
un
c
tions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Carpente
r
u
p
d
ate
s
mat
c
h_data/ for 2
.
6
.
36-rc2 (part 2)
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-30
Dan Car
p
enter
overflow: f
i
xup
c
ross func
t
ion overflo
w
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan Car
p
e
n
ter
remove dead no_le16 cruft
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-26
Dan C
a
rpen
t
er
unw
i
n
d
: add mor
e
unwind fu
n
ctions
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Carpenter
remove check_le16
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan
C
arpenter
Update smatch_dat
a
to 2
.
6
.
36-rc2 [patch 1
of mo
r
e]
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Dan Car
p
enter
kernel: contai
n
er_of() returns a non-NULL pointer
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-24
Da
n
Carpenter
Introduce add
_
macro_assign
_
h
o
ok()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-21
Dan Car
p
enter
fix out o
f
mem
o
ry h
a
ndlin
g
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
D
an Carpenter
New functions returns_unsi
g
ned() and returns_pointer()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Dan
Carpenter
*new* c
h
eck_info_
l
ea
k
.
c: places t
h
at
p
ass
u
n-zer
o
e
d
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-18
Da
n
Carp
e
nte
r
*new*
c
heck_return_enomem: compla
i
n about returning
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-04
Dan Ca
r
penter
*new* p
l
atf
o
rm_device_p
u
t() vs platform_de
v
ice_d
e
l()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
D
an Carpenter
unw
i
nd:
l
iterals
higher than zer
o
are not an
e
rror
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
i
m
plied:
only print the nr_children mess
a
ges if there
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpenter
unwind: register unwind functions that unwind
e
verything
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-03
Dan Carpe
n
ter
un
w
in
d
: update equivalent
sta
t
es
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpenter
extra
:
c
lea
n
up unused va
r
iables
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
D
an
C
arpenter
equiv: update
v
alidatio
n
test
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Da
n
Carpenter
extra: handle W
A
R
N
_ON(fu
n
c(&set_th
i
s_pointer));
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan
C
a
rp
e
nter
b
u
f_
s
ize: I broke init
i
a
l
izer h
a
ndlin
g
by mistake
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpent
e
r
oops
.
fix compile error
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-02
Dan Carpente
r
buf_size
:
remove mem
s
et()
an
d
memm
o
ve()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Da
n
Carp
e
nter
implied_not_eq
u
al: han
d
le
l
i
terals
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-08-01
Dan Carpent
e
r
resour
c
e
:
c
rashing bu
g
on
incor
r
ect i
n
put
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Car
p
ente
r
buf_
s
iz
e
: ignore dyn
a
mically sized array
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
r
penter
bu
f
_size: ad
d
sup
p
ort for
memd
u
p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
Carpenter
buf_
s
ize: add
suppor
t
for strndup()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpenter
b
uf_size: use strcpy() to deter
m
in
e
the size of the
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
a
rpenter
buf_size
:
us
e
strncpy() and friends to set the buf
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n C
a
r
pent
e
r
buf_size:
w
hitespace c
h
ange
s
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
o
v
erflow: remove un
u
sed funct
i
ons
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan Carpe
n
t
er
b
u
f_size:
u
se alloc_s
t
a
te_n
u
m()
instea
d
of
c
ustom version
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
D
a
n Carpenter
buf_size: remove
unused defini
t
ion
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-31
Dan
C
ar
p
enter
overf
l
ow:
m
ake arr
a
y size tracki
n
g into
a
library fu
n
cti
o
n
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-30
D
a
n Carpenter
unwin
d
: add
p
c
i_
i
omap() and pci_iounm
a
p()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
D
a
n
Car
p
ent
e
r
*
new* check
_
kmalloc_to_
b
ugon: do
n
'
t
ca
l
l bug_on() for
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-29
Dan Ca
r
penter
*new* che
c
k_unwin
d
: check
that module_
i
nit function
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
D
an Carp
e
nter
core: process inli
n
e statements
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-21
D
an Carpente
r
f
l
ow: handle asm statem
e
nts correctly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
Merge git://gi
t
.
kernel
.
org/pu
b
/s
c
m/devel/
s
parse/chrisl
.
.
.
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
add ubifs_assert() to list
o
f
ass
e
rt mac
r
os t
h
at call
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-19
Dan Carpenter
check_dma
:
add a
check
f
or foo = km
a
l
loc(sizeof(*foo
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-14
Dan Carpen
t
er
signed
:
unsigned v
a
riab
l
es are
a
llowed to do math with
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Dan
Carpe
n
t
e
r
o
v
er
f
low: handle "if (
s
trlen(foo) < 10
)
{
.
.
.
"
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-09
Da
n
Carp
e
nter
overflow: add support for
s
t
rlen()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
T
il
m
an S
a
uer
b
eck
Warn if
r
andom p
o
inter
s
ar
e
used as s
o
urce buffers
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
D
an Carpenter
l
eaks
:
replace check
_
m
e
mory
.
c with
a r
e
write chec
k
_leaks
.
c
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-08
Dan Carpenter
get_
v
ari
a
ble_from_e
x
pr_complex()
:
return proper symbol
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman S
a
uerbeck
Add
e
d a test case for
the recen
t
ly intr
o
duc
e
d
extended
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
D
an Carpenter
Makefile: small whitespace chan
g
e
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan Ca
r
pente
r
memory: re
m
ove th
e
warnings
ab
o
u
t
f
reed memory
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerbeck
Find le
a
ks that occur by se
t
ting p
o
in
t
ers
to alloc
a
ted
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Tilman Sauerb
e
ck
Ad
d
e
d a
si
m
ple tes
t
cas
e
for the double free che
c
ker
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-06
Dan
Ca
r
p
e
n
t
e
r
chec
k
_
f
ree: cr
e
ate a separa
t
e
c
h
eck
f
or mis
u
sing fr
e
ed
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-07-05
Dan Carpenter
re
l
ated:
r
ename di
n
fo-
>
equi
v
to d
i
nfo
-
>related
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carp
e
nter
cons
t
r
a
ints: shuffle th
i
ngs around a
bit
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan
Carpenter
*n
e
w* scripts/generis
i
ze
.
pl
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-30
Dan Carp
e
nter
t
y
pe:
allow
t
he
param
e
ter t
o
be n
u
ll for type_unsigned()
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-15
Dan Carpenter
redo t
h
e ignored_macro
s
stuff properly
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
Dan Ca
r
penter
condition
s
:
fix mem
o
r
y leak
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
2010-06-14
D
a
n Carpenter
elimina
t
e some ne
w
"statement
ha
s
no
effect" false
.
.
.
Signed-off-by: Dan Carpenter <
error27@gmail.com
>
commit
|
commitdiff
|
tree
next