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
ranges: use NULL instead of zero
2015-08-05
Dan Carpenter
r
an
g
es: use NUL
L
in
s
tead of zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-04
Dan Carpe
n
ter
d
ere
f
_check, check_deref: only
co
n
sider poi
n
te
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan Ca
r
p
enter
st
o
red_co
n
dit
i
o
ns: rename matc
h
_modify() to
m
atch_link_
m
odify()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Dan C
a
r
p
ent
e
r
math: fix a
n
out of memory
issue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-08-03
Da
n
Carpent
e
r
math: return a bit earlier
in handle_binop
_
rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan
Carpen
t
er
implied: w
e
have to m
a
ke the false states match as
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-31
Dan Carpen
t
er
err_p
t
r: use
t
he
a
ctual value
s
t
o sil
e
nce
false posi
t
ives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
Carpenter
comparison:
f
ix an oop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan
C
a
rpenter
fixup_k
e
rnel
.
sh: track kmall
o
c
e
d
() vs
.
text da
t
a bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n
Carpenter
extra: don't
try to record th
e
state
fo
r
literals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpe
n
ter
f
l
ow: add
a
-
>parent m
e
m
ber to st
a
t
ement stru
c
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan C
a
rpenter
ra
n
ges:
d
on't al
l
ow so many inverted ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
an Carpenter
type: impro
v
e
g
e
t_
m
e
m
ber_typ
e
_fro
m
_key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
D
a
n Car
p
enter
extra: handle arrays
b
et
t
er using t
h
e chunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan C
a
r
penter
ty
p
e: m
a
ke ty
p
e_to_str() handle
arrays better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Ca
r
pe
n
ter
helper: tiny cl
e
an
u
p in
ge
t
_complication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Ca
r
penter
implied
:
fix
b
u
g
h
a
ndl
i
ng unmatched implicatio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Da
n
Carp
e
nter
extra:
fi
x
chunk handling
a
b
i
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
validation: fix
a
test a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
rpen
t
er
dere
f
_check
:
silence some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan C
a
rpent
e
r
deref_c
h
eck
:
remove
unne
c
essary call t
o
getting_address(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
fixup_k
e
r
nel
.
s
h: fix the rtlwi
f
i hac
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
Dan Carpen
t
er
uncons
t
ant_ma
c
ros: ad
d
MA
P
_UNIN
I
TIALIZE
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan
C
ar
p
e
nt
e
r
ptrlist: reading deleted i
t
ems
i
n NEXT_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Da
n
C
a
rpenter
ran
g
es: fix how some ra
n
ge
s
a
re
j
oined to
g
ether
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ran
g
es: avoid
a
possible integer overflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
poi
n
ter_math: ALIGN is not b
y
te
s
, but offs
e
tof() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
p
o
i
n
ter_math: don't
c
omplain i
f
a pointer
m
ath
operat
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
pointer_m
a
th: silence
f
alse
a
ton of fa
l
se p
o
siti
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
chun
k
: improve expr_t
o
_chunk_sym_
v
sl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Car
p
e
nter
helper: improv
e
get_complicat
i
on_s
c
ore()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
helper:
e
xport get_complic
a
t
i
on_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
a
n C
a
rpenter
t
y
pe: ex
p
ort i
s
_
local_variable(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan
Carpen
t
e
r
chunk
:
c
hange the API a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Dan Carpenter
extra: st
a
rt tracking "
c
hun
k
s" instea
d
of just variables
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
Dan C
a
rpenter
m
ath: give
up if calc
u
l
a
ting a value is too
c
omp
l
ica
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan
Car
p
ent
e
r
implied: tu
r
n off de
b
ug messages
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
D
a
n Carpenter
check_l
i
st
.
h
: mo
v
e stored_condition_links next
t
o sto
r
e
d_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Car
p
enter
fl
o
w:
i
gno
r
e
arrays wi
t
h
o
v
e
r
a
1
000 elemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan
C
arpenter
d
b
/
fixup_kernel
.
sh:
h
ack arou
n
d s
l
ow rtlwifi te
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
cappe
d
: use FOR_EA
C
H_MY_SM()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
u
s
er_
d
ata
2
: add s
k
b
_
network_header
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpenter
user_d
a
ta2: hand
l
e
p
ointer
s
to u
s
er d
a
ta better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
C
a
rpe
n
ter
u
s
er_da
t
a
:
add kmap_atomic()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan
Carpenter
user_data
:
s
/
kmemdu
p
_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 Carpen
t
er
te
s
t_
b
it: add
s
et_bit()
a
nd c
l
ear_bit() f
u
n
ctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
n
t
er
check_de
r
e
f
:
remove
c
a
ll to getting_
a
ddress
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpent
e
r
e
state: make clone_estat
e
() take a NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan Carpenter
w
h
it
e
space: change some spaces to tabs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Ca
r
pent
e
r
debug: add
s
ome tools f
o
r develop
i
ng t
h
e db p
a
rser
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpe
n
t
er
buf_size: improve resizab
l
e
struct h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Villemoes
eliminat
e
so
m
e cats
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
D
a
n Carpen
t
er
db: fix a
b
ug in split
re
t
urns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
extra: introduce get_e
x
t
r
a_stat
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan
C
arp
e
nter
s
m
a
tch:
change al
l
remaini
n
g refe
r
ences from warns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus
V
illemoes
p
r
e
fix smatch generated fi
l
es by smatch_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Vil
l
em
o
es
test_kernel
.
s
h
: clean
up
.
c
.
smatc
h
files af
t
e
r
cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ras
m
us Villemoes
Documenta
t
i
o
n: m
a
k
e m
e
l
e
ss co
n
fused
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Vi
l
lemoes
trace_params
.
p
l
:
f
ix ha
s
h/hash reference confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n Carp
e
n
ter
kernel
.
ignor
e
d_m
a
cros: add SNIC_BUG_
O
N
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
u
n
r
e
achable: ignore list_for_each_entry_conti
n
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
D
a
n Carpenter
extra: handl
e
x = (u8)y; co
r
rectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
D
an Carpen
t
er
imp
l
i
e
d
:
fix a leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
C
arpenter
type: handle typeof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan
Carpent
e
r
ma
t
h
:
handle __
s
match_
i
mplied(&f
o
o->bar) a
little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
a
ssi
g
ned_expr
:
sto
r
e it la
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpen
t
er
f
unction_hooks: fix va
l
i
d
ation/sm_comp
a
re15
.
c
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carp
e
nter
l
oc
k
ing: add new down_tim
e
out() f
u
nction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
D
an
C
arpenter
s
m
atch_ad
d
ress: fix
c
omp
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_ker
n
e
l
.
s
h: ignore some _
_
v
fs_
w
rite() c
a
lls
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpe
n
te
r
fix
u
p_kernel: update types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Fi
r
o Yang
Ma
k
efile: eliminat
e
a llv
m
-config
build w
a
r
n
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
D
a
n Carpenter
debu
g
: impro
v
e __smatch_s
t
ates()
o
utput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
Dan Carpen
t
er
flow: ignore pa
r
enthesis
i
n pr
e
v
_
expression_is_getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
unreac
h
able:
ign
o
re n
e
tdev_for_each_lower
_
d
ev(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpenter
flow:
c
leanup prev
_
ex
p
r
e
s
s
ion_is_getti
n
g_address()
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan
Carpenter
flow:
"&fo
o
->bar" is not
a
dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan C
a
rp
e
nter
smatch
_
ad
d
res
s
:
s
e
parate things
o
ut into
.
bss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_
t
est_
b
it: check for test_bit(BIT(0), &foo)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Car
p
enter
t
y
pe: speed up get_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carp
e
nter
type: improve
g
et_bi
n
op_typ
e
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Ca
r
penter
f
l
o
w
:
add a new exp
r
->
p
a
r
ent st
r
uct
m
e
m
b
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan Carpent
e
r
fixup_kernel: hard code __spi
_
sync() ret
u
rns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
D
a
n Carpenter
fixup_kernel: kmalloc() can
a
l
locate more data
.
Let
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg
D
rokin
check_lock
i
ng
.
c: Fix
a
nnoying inv
i
sible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Ca
r
penter
smatch_address: so
r
t
p
ointers into different ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Ca
r
penter
extra
:
re
m
ove some unused functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
D
a
n
Carpenter
smat
c
h
.
h: add the comparison ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
an Carp
e
nter
type_to_s
t
r: fix
a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
F
i
ro Yang
smat
c
h
.
h: add est
a
t
e_get
_
s
ingl
e
_val
u
e() declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan
C
arpenter
ignore_
s
i
d
e_effects: g
e
t_child_
r
cu() double evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
a
n Carpenter
im
p
lied: use comparison info
r
ma
t
ion for imp
l
ication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan C
a
rpe
n
ter
smatch
.
h: move stree_stack declaration
from smatch_slist
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpe
n
ter
rosenberg: add __
b
uilti
n
_memset/memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
u
s
er_data2: h
a
ndle retu
r
ned struct
m
em
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
comparis
o
n: update a
c
om
m
ent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
ente
r
smd
b
.
py: updat
e
t
o r
e
flect LIMIT/FILTER changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
u
n
wind: add some nul
l
c
h
e
cks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
t
y
pe: include smatch_slist
.
h to
p
rev
e
nt a segfault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Ca
r
penter
extra: don't se
t
sta
t
e
s
to unknow
n
at the
beginning
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next