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
unconstant_macros: add MAP_UNINITIALIZED
2015-07-25
D
a
n Carpen
t
er
unc
o
nstant_ma
c
ros: add
MAP_
U
NIN
I
TIALIZED
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan Ca
r
pen
t
er
p
t
r
l
ist: rea
d
ing deleted
i
tems in NE
X
T_PTR_LIST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
D
a
n
C
arpenter
ranges:
f
ix ho
w
some range
s
a
r
e
j
o
ined
t
ogether
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carp
e
nter
ranges: avoid
a possible integer overflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
e
r
p
oi
n
ter
_
m
a
th: A
L
IGN is not byte
s
, but of
f
se
t
of() an
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
oint
e
r_math: don't c
o
mplain if a pointe
r
math oper
a
t
i
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
r
pente
r
pointe
r
_
math: silence false a ton of false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
a
rpenter
chunk
:
i
m
pr
o
ve expr_t
o
_
c
hunk
_
sy
m
_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
Car
p
enter
helper: improve get_compl
i
cation_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
enter
hel
p
er
:
e
xport get_compl
i
cation_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan C
a
rp
e
nter
ty
p
e: export
i
s
_
l
o
cal_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpe
n
ter
chunk: change the
A
PI a
bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: sta
r
t tracking "chu
n
ks" ins
t
e
a
d
of ju
s
t variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
D
a
n Carpenter
ma
t
h: gi
v
e up i
f
calc
u
latin
g
a value is to
o
complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpente
r
impl
i
ed: turn off debug
m
essages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
Carpenter
c
heck_list
.
h: move
store
d
_conditio
n
_l
i
nks next to st
o
r
e
d_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carp
e
nter
f
low:
ignore arrays with over a 1000
ele
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpent
e
r
d
b/fixup
_
kernel
.
sh:
h
ack aro
u
n
d
slow rtl
w
ifi test
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
cap
p
ed: use F
O
R_
E
ACH_MY_S
M
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpen
t
er
u
ser_data
2
: add skb_
n
etwork_header()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
n
t
e
r
user_d
a
t
a2: handle pointers to u
s
er data better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpente
r
user_d
a
ta: add
kmap_ato
m
i
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arp
e
nter
use
r
_
data: s/k
m
emdup_us
e
r/memdup_u
s
er/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n Carpenter
te
s
t_
b
it: add set_bit() and clear
_
bit
(
) func
t
i
o
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
check_dere
f
:
r
emove call to
g
ett
i
ng_address()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
estate:
m
ake clone_estate() tak
e
a NULL po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpen
t
e
r
white
s
pace: change s
o
me space
s
to t
a
bs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
p
e
nt
e
r
debug
:
add
s
ome tools for developing the db
par
s
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan
C
arpen
t
er
buf_size: improve r
e
si
z
abl
e
s
t
ruct ha
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Vi
l
lemoes
eliminate some cats
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fi
x
a
bug in split returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra: introduce get_e
x
tr
a
_state
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Ca
r
penter
s
m
atch
:
change all remaining references from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
i
llemoes
prefi
x
smatch generated file
s
by sm
a
tch_
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoe
s
test_kerne
l
.
s
h: clean up
.
c
.
smatch
files afte
r
cat
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us
V
i
l
lem
o
es
Documentation: m
a
ke me l
e
ss confu
s
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
Vi
l
l
e
moes
trace_
p
a
r
a
m
s
.
pl
:
fix hash/hash r
e
ference confusion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan Carpenter
kernel
.
ignored_macros: add SNI
C
_
BUG_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpe
n
ter
unr
e
achable: ignore list_for_each_entry_conti
n
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: han
d
l
e x = (
u
8
)y
;
correctl
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
i
mplied
:
fix a leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
an
C
arpenter
type: handle type
o
f()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpenter
m
a
t
h: h
a
n
d
l
e
__smatch_impl
i
ed
(
&foo->bar) a little bett
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpe
n
ter
assigned_expr: store it late
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpe
n
ter
funct
i
o
n
_hooks: fi
x
validation
/
sm
_
c
ompare15
.
c handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
an
C
arpen
t
er
locking: add ne
w
down_timeout() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Ca
r
penter
s
m
atch_a
d
dress: fix com
p
i
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_
k
er
n
el
.
sh:
ignore som
e
_
_vf
s
_write() calls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpen
t
er
fixup_kernel: u
p
date types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-05
F
i
r
o Yan
g
M
a
ke
f
ile: eliminate
a
llvm-config
b
u
il
d
wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carpenter
debug:
improve __smat
c
h_states() out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carp
e
nter
f
low: ignore parenth
e
s
is in
prev_e
x
pression_is_getting_
a
ddres
s
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unreac
h
ab
l
e
: ignore net
d
ev_for_each_l
o
w
er_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpente
r
flo
w
: cleanup pre
v
_expression_is_getting_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow:
"&foo->b
a
r
" is not a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan
Carpe
n
ter
smatch_address: separate thi
n
gs
out into
.
b
ss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Da
n
Ca
r
pen
t
er
*new*
c
heck_tes
t
_bit: check for test_bi
t
(BIT(
0
), &foo)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
Car
p
e
nter
ty
p
e: speed up get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Da
n
Carpenter
type:
improve
get_binop_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
an Carpenter
flow: add
a
new expr->paren
t
st
r
uct membe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carp
e
nt
e
r
f
ixup_kernel
:
h
ard cod
e
_
_
spi_sync() returns
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n C
a
rpenter
fix
u
p_ke
r
nel: k
m
all
o
c() can
a
llocate more
d
ata
.
Let
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Drokin
c
heck_loc
k
ing
.
c:
F
ix ann
o
y
ing
i
nvisible r
e
ad_unloc
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-24
Dan Carpenter
smatc
h
_
a
d
dress: sort pointers
into
differ
e
nt ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
penter
extra: re
m
ove som
e
unus
e
d func
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
sma
t
ch
.
h
:
add the comparison ho
o
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Dan Ca
r
p
en
t
er
typ
e
_to_str:
fix a
c
ra
s
hi
n
g bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-22
Firo Ya
n
g
sma
t
ch
.
h: add estate_get_single_value()
declaration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-13
Da
n
C
a
rpenter
ignore_side_ef
f
ects: ge
t
_
c
hild_rcu(
)
double evalu
a
tes
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan
C
arpenter
impli
e
d: use
compariso
n
information for implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
smatch
.
h
: mo
v
e stree_stack
d
eclarati
o
n fro
m
smatch_slist
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-04-07
Da
n
Carpenter
r
o
sen
b
er
g
: add
_
_builtin_memset/m
e
mcpy()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user_
d
ata2: handle returned s
t
r
u
c
t
me
m
be
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
ent
e
r
comparison:
u
pdate a comment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpe
n
ter
smdb
.
py
:
u
p
date to
reflect LIMIT/
F
ILTER changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan C
a
rp
e
nter
u
nwind: add some null
checks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
ty
p
e:
i
n
clude smatc
h
_slist
.
h to
p
revent a segfault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpenter
e
xtra:
d
on't
set states to unk
n
own at the be
g
inning
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
ext
r
a: don't set true
false
sta
t
es
i
f t
h
e
y
are the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
function_hook
s
: add a
h
ack around in
compare_db_retu
r
n
_
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
list: add a comment ab
o
ut register_implications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpen
t
er
param_limit: handle struct member
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
states: white space fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
conditions:
i
gnore known/implied con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
strings: reco
r
d str
i
ng assi
g
nmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
pe
n
ter
st
r
uct_a
s
signment: sa
v
e
a
lot mor
e
i
nform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
param_
l
imit/filter: fix
a
typ
e
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Si
l
van Jegen
db: Avoid
d
erefe
r
enc
i
n
g
null
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compar
i
s
o
n: han
d
l
e
canonical for loops with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
co
m
parison: unsigned
c
an
n
o
t be les
s
than zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
flow: set __
c
ur_stmt and
__prev_stmt inside for loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpen
t
e
r
comparison
:
merging equivalen
t
states is not undefin
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
mparison: fix an indent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
fun
c
tion_hooks:
fix u
p
d
b
_
compare_callba
c
k()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpent
e
r
function_hooks, d
e
b
u
g: print
i
mpossible return
s
if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n C
a
rpenter
helper: don't strip cas
t
in
g
in get_array_o
f
fset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
links: e
x
po
r
t m
e
rg
e
_l
i
nk_states
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
help
e
r: make ex
p
r_to_str() print for
c
ed casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
p
enter
type: make type
_
to_str
(
) return a sna
m
e() b
u
ffe
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carp
e
nter
modification_hooks:
set a
v
a
r
iable as modified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next