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
double_checking: allow if (foo) { ... } else if (!foo) { }
2015-08-20
Dan Car
p
enter
double
_
checking
:
allow if
(
fo
o
) {
.
.
.
} else
if (
!
foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan
Carpenter
zero_to_err
_
ptr
:
c
a
lling PTR_E
R
R(NUL
L
) i
s
a
p
robably
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-20
Dan Carpenter
smdb
.
py: update list of types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
D
an Ca
r
penter
c
h
eck_
k
ernel: register this later
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Da
n
Carp
e
nt
e
r
check_dma_mapping_error:
The dma_mapping_e
r
ro
r
() function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-19
Dan Car
p
ente
r
buf_comparison:
s
plit the code up and move i
t
around
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-18
D
a
n C
a
rpenter
extra, db:
d
on't
u
se PARAM_
V
ALUE for ret
u
rn states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n Carpenter
buf_size: ad
d
km
a
p() and get_ze
r
oed_page()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Car
p
enter
buf_size, strlen: do
n
't use
s
trlen()
t
o
determine t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
Dan Carpenter
strlen: cleanup
in get_implied_
s
tr
l
en(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-17
D
a
n Carp
e
nter
buf_size, s
t
rlen
:
move strlen() handling to smatc
h
_strlen
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Dan Carpenter
extra: tr
a
c
k array values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
Da
n
Carpenter
stored_conditons:
s
tore
the chun
k
as well
a
s
t
h
e var_sym_list
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-15
D
a
n
C
arpe
n
ter
ranges:
a
dd a missing cast in add_r
a
nge_t(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
D
a
n
Carpenter
valid
a
tion: don't use uninitialize
d
d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-14
Dan C
a
rpenter
modi
f
ication_
h
ook: record
the modif
i
cati
o
n expression
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Ca
r
p
e
nter
smatch: r
e
move the "loop could be replaced w
i
th if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan C
a
rp
e
nter
buf_size: u
n
break this f
e
ature
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Da
n
Carpente
r
test_kernel
.
sh:
p
r
i
n
t
where
t
h
e
wa
r
nings ar
e
saved
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-11
Dan Carpenter
b
uf_size, db:
o
nly
store type
_
size if i
t
i
s
a pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan
Carpenter
sto
r
ed_conditions, imp
l
ied: use implications of previ
o
us
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-10
Dan Carpenter
implied: r
e
-order where we calcu
l
a
t
e implic
a
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-08
Da
n
Carpenter
ov
e
rflow: silence glibc str
c
m
p false po
s
itives
w
ith
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
D
an Carpe
n
ter
implied, ranges: use type promo
t
ion for comparisons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-05
Dan
Carpenter
ranges:
u
se NULL
i
ns
t
ead of z
e
ro
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-04
Dan Ca
r
penter
deref_che
c
k,
c
heck_de
r
ef
:
only conside
r
poi
n
ters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
D
a
n
Carpenter
sto
r
ed_conditions: r
e
name match_
m
odi
f
y() to matc
h
_link_modify()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Dan Carpenter
m
a
t
h: fix an out of
me
m
o
r
y i
s
s
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Carpent
e
r
math: return
a
b
i
t earlie
r
in handle_binop_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
D
a
n
Carpenter
i
m
p
l
ied: we h
a
ve to mak
e
the fals
e
states match as
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpe
n
te
r
err_ptr: us
e
the actual v
a
lues to silence false pos
i
tiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
arpen
t
er
comparison: fi
x
a
n
oop
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carp
e
nter
fixup_kernel
.
s
h:
t
ra
c
k kmalloce
d
() v
s
.
text data
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpenter
extra:
don't try t
o
record the state for litera
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carp
e
nter
flow: add a ->pare
n
t
m
ember to statement structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carpent
e
r
ran
g
es: don't allo
w
so ma
n
y
inverted ranges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpen
t
er
type: improve
get_m
e
m
b
er_type_fr
o
m_key()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-30
Dan Car
p
e
n
ter
extra: han
d
le arrays bet
t
er using the chunk code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
D
a
n Carpenter
type: make type_to_
s
tr() ha
n
dle arrays be
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-29
Dan Car
p
enter
helper: t
i
ny
c
l
e
anup
i
n
get_complic
a
tion_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
implie
d
: fix b
u
g handling unmatched imp
l
ications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
extra
:
fix chunk handlin
g
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carp
e
nter
validation
:
fix
a
tes
t
a
b
it
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
D
an Carpente
r
d
eref_check:
s
ilence
s
ome
f
a
l
s
e
po
s
itives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpen
t
e
r
de
r
ef_check: remov
e
unnecessary c
a
ll to g
e
tting_address(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpe
n
ter
fix
u
p
_ke
r
nel
.
sh: fix
t
h
e rtlwifi
hack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-25
Dan Ca
r
pen
t
e
r
unconstant_macros: add MAP_UNINITIALIZE
D
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-23
Dan
C
a
rpent
e
r
ptrlist:
r
eadi
n
g deleted items in NEXT_PT
R
_
L
I
ST()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Ca
r
p
e
n
t
er
ra
n
ges: fix
h
ow som
e
ranges ar
e
joined together
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
Car
p
enter
ranges: avoi
d
a
possibl
e
int
e
ger
o
verflow problem
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_mat
h
: A
L
IGN is not
bytes, but offseto
f
() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan
C
a
r
p
enter
poi
n
ter
_
ma
t
h: don't
c
o
mpla
i
n if a p
o
in
t
e
r math
operation
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
int
e
r_math: si
l
ence fa
l
s
e a ton of
f
alse positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpente
r
chunk: imp
r
ove expr
_
to_chunk_sym_vsl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan
C
arpenter
helper:
i
mpro
v
e get_c
o
mplication_score()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carp
e
nter
h
elpe
r
: expor
t
get_compl
i
cation
_
s
core()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
t
y
pe:
e
xpor
t
is_local_v
a
riab
l
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpenter
chunk: c
h
an
g
e the API a bit
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpe
n
ter
extra: start tracking "chunks
"
ins
t
ead of just variables
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-09
Dan
Carpe
n
t
er
math: g
i
ve up
i
f ca
l
culatin
g
a value i
s
too complicated
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-08
D
an Carpenter
implied: turn off debug m
e
ssages
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan Carpe
n
ter
check_list
.
h:
move
s
tored_condit
i
on_li
n
ks next to stored_con
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
arpenter
flo
w
:
ignore arrays with over a
1
0
00 elem
e
n
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-06
D
a
n
Carpenter
db/fixup_kernel
.
sh: hac
k
aroun
d
slow rtlwifi te
s
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
capped: use FOR_EACH_MY_SM()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Da
n
Ca
r
penter
us
e
r_data2:
a
d
d
sk
b
_
network_heade
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_dat
a
2: handle
p
ointers to user d
a
ta bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
use
r
_data: add kmap_at
o
mic()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
t
e
r
us
e
r_dat
a
: s/kmem
d
up_user/memdup_us
e
r/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
arpenter
te
s
t_bit:
a
dd set_bit() and clear_bit() fu
n
c
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpent
e
r
check_deref
:
remove call
to getting_a
d
dress(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpe
n
ter
estate: make clon
e
_es
t
ate() take a NULL pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpent
e
r
w
hit
e
space:
change
some spaces to tabs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpenter
debug: add
s
ome tools for developing the db parser
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-29
D
a
n Carpenter
b
u
f
_size: improve resizable st
r
u
c
t
h
a
n
dling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpen
t
er
db: fix a bug in split
ret
u
rns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
extra: int
r
od
u
ce
get_extra_state()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n
Carpenter
s
match
:
chan
g
e al
l
remain
i
ng referenc
e
s
from warns
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-23
Dan
C
arpenter
kernel
.
ig
n
o
r
e
d
_mac
r
os: add SNIC_BU
G
_ON()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unreacha
b
l
e:
i
gnore
l
ist_for_each_
e
nt
r
y
_
c
o
n
t
inue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-10
Dan Car
p
e
nter
e
x
t
ra: han
d
le x = (u8
)
y; c
o
rrectly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Car
p
enter
implied: fix
a
leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
D
a
n Carpenter
type
:
ha
n
dle typeof
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
ma
t
h: han
d
le __smatch_impli
e
d(&
f
oo->bar) a littl
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpen
t
er
assigne
d
_expr: s
t
ore
i
t
la
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
function_hooks:
f
ix v
a
lidation/sm_compare15
.
c
h
andling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
loc
k
ing: add new
d
own_tim
e
o
u
t() func
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
smatch_address: f
i
x comp
i
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
D
a
n
Carpenter
fixup
_
k
e
rne
l
.
sh: ignore some __vfs_write()
c
al
l
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
fixu
p
_kernel: upda
t
e ty
p
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-26
Dan Carp
e
n
t
er
d
ebug: improve __s
m
atch_states() o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-22
D
a
n Carp
e
n
ter
f
low: i
g
nor
e
parenthesis in prev_
e
xpression_is_ge
t
ting
_
ad
d
r
e
ss()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-20
D
a
n Carpent
e
r
unreachable:
i
gn
o
r
e
n
etdev_f
o
r_each_lower_dev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpe
n
ter
flow: cleanup pr
e
v
_
express
i
o
n
_i
s
_getti
n
g
_address()
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carp
e
nte
r
f
low: "&foo->bar" i
s
not
a dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
smatch_
a
ddress: se
p
arate
t
hings out into
.
bss and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-13
Dan Ca
r
penter
*new* check_test_bit: check for tes
t
_bi
t
(BIT(0), &
f
oo
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan
C
arpenter
type: spee
d
u
p get_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type:
impr
o
ve get_binop_type(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-05-01
D
an Carpenter
f
low:
add a new
exp
r
->parent struct m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next