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: don't allow so many inverted ranges
2015-07-30
Dan Carp
e
nt
e
r
ranges: don
'
t
a
llow
s
o many inverted r
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Dan Carpente
r
type: improve get_member_type_fro
m
_
key()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-30
Da
n
Carpente
r
extr
a
: handle array
s
bet
t
er using
the
c
hunk code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpe
n
ter
ty
p
e
:
m
a
ke type_to_str() handle arrays
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-29
Dan Carpen
t
er
helpe
r
: tiny
c
leanup in get_
c
omplication_score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
implied: fix bug handling un
m
atched
i
m
plications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
ex
t
ra: fix chunk hand
l
ing a
b
it
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-28
Dan Carpenter
v
a
lidation: fix a test
a
bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
an Carpenter
deref_check:
s
ilenc
e
some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
Dan Carpenter
d
eref
_
check: remove unnecessar
y
call to gettin
g
_address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-27
D
an Carp
e
n
t
er
fixup_ker
n
e
l
.
s
h
: fix
t
he rtlw
i
fi
hack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-25
D
an Carp
e
nter
unconstant
_
macros: add MA
P
_UNI
N
I
TIALIZED
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-23
Dan C
a
rpenter
ptrlist: reading deleted items
in NEXT_PTR_LIST()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
ran
g
es: fix
h
ow some ranges are join
e
d tog
e
the
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpenter
ranges
:
avoid a
p
ossible integer overflow problem
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan Carpen
t
er
pointer_math:
A
LIGN is not byt
e
s, but of
f
s
e
tof(
)
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
Dan C
a
rpenter
pointer_mat
h
: do
n
't
c
omplain
i
f a pointer math
o
peratio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-16
D
an Car
p
enter
p
o
inter_math: silence
false
a
ton of false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Da
n
Carpenter
chunk: im
p
rove e
x
pr_to_chu
n
k
_
sym_vsl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
Dan Carpenter
he
l
per: improve
g
et_complication_
s
core()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-14
D
an Ca
r
pente
r
helper: ex
p
ort get_complication
_
score()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
D
an
Carpenter
type: e
x
p
o
r
t
is_local_va
r
iable
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-11
Dan Carpente
r
chu
n
k: change the API
a bit
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-10
Da
n
C
a
rpenter
e
xtra: start trackin
g
"chunks" i
n
ste
a
d of just v
a
riab
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-09
D
a
n Carpent
e
r
m
at
h
: g
i
ve up if
c
alcul
a
t
i
ng a val
u
e is t
o
o compl
i
cate
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-08
Dan Carpe
n
te
r
i
mpl
i
ed: turn off debug messag
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan Ca
r
penter
check_
l
ist
.
h: move s
t
ored_condition_links next to stored_con
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-07
Dan
C
arpenter
f
l
o
w: ignore
a
rra
y
s
with
o
ver
a
1000 ele
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-06
Dan Carpen
t
er
db/fixu
p
_ke
r
nel
.
sh: ha
c
k around slo
w
rtl
w
ifi test
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carp
e
nter
capped: use FOR_EACH_MY
_
S
M
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpent
e
r
user_data
2
: add skb_network_he
a
d
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan C
a
rpenter
user_da
t
a2
:
ha
n
dle pointers to user
d
ata b
e
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
an Carpent
e
r
user_data:
add kmap_atom
i
c
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
ter
user_data: s/kmemd
u
p
_us
e
r/memdup_user/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
Dan Carpe
n
te
r
test_bit: ad
d
set_bit() and clea
r
_bi
t
() functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-07-01
D
a
n
Carpen
t
e
r
c
hec
k
_deref
:
remove call
t
o getting_address()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
D
an
C
arpent
e
r
estate
:
make
c
lone_es
t
ate() ta
k
e a NULL po
i
nter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-30
Dan
C
a
r
penter
whitespace: change some spaces to ta
b
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Dan Carpent
e
r
debug: add some
tool
s
for developin
g
t
he db par
s
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Da
n
Carpenter
b
u
f_
s
ize: improve resizable struct
h
andling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-29
Rasmus Vill
e
mo
e
s
elimi
n
ate some cat
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpenter
db: fix a bu
g
in split returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpe
n
ter
e
x
t
ra: i
n
troduce get_extra_s
t
ate()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Dan Carpente
r
sm
a
tch:
change all re
m
a
ini
n
g
references f
r
om
w
arns
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus Villemoes
prefi
x
smatch generated file
s
by
s
ma
t
c
h
_
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasmus V
i
llemoes
te
s
t_ker
n
el
.
s
h
: clean
u
p
.
c
.
smat
c
h f
i
les
a
fter cat
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Rasm
u
s Villemo
e
s
Docume
n
t
a
tion: make me less confuse
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-26
Ra
s
mus Villemoes
trac
e
_param
s
.
pl: fix has
h
/has
h
reference confusion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-23
D
a
n C
a
rpent
e
r
kernel
.
ignored_macros: add SNIC_B
U
G_ON()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
unre
a
c
h
able:
i
g
nore list_for_each_entry_continue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-10
Dan Carpenter
extra: handle
x
= (
u
8)y
;
corr
e
c
t
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
C
arpente
r
implied: fix a
leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpente
r
t
y
pe: handle t
y
peof()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpenter
math: handle __smatch
_
impli
e
d(&foo->bar
)
a
litt
l
e better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Da
n
Carpent
e
r
assign
e
d_expr: s
t
ore it lat
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-09
Dan Carpent
e
r
fun
c
tion_hooks:
fix valida
t
ion/s
m
_compare15
.
c handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan C
a
rpenter
locking: a
d
d ne
w
down
_
timeout()
f
un
c
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Da
n
Carpenter
smat
c
h_add
r
ess: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan
Carpenter
fixup_kernel
.
sh: ign
o
r
e some __vfs_wri
t
e() cal
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-07
Dan Carpenter
fixup_kernel: update
types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-06-05
Firo
Y
ang
Makefile: eliminate
a llvm-
c
onfig
b
uil
d
warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-26
Dan
Carpe
n
ter
debug: impro
v
e __s
m
atch
_
stat
e
s() o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-22
D
an Carpenter
flow:
i
gnore
p
arenthesis
in
prev_expressi
o
n_is_getting
_
address
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-20
Dan Carpenter
u
nreac
h
abl
e
: ignore netde
v
_f
o
r_ea
c
h_lowe
r
_dev
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-18
Dan Carpen
t
er
flo
w
:
c
leanup prev
_
exp
r
ession
_
is
_
getting_
a
ddre
s
s
(
)
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
Dan Carpenter
flow:
"&fo
o
->bar
"
i
s
not a dere
f
erence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-15
D
an Carpenter
s
m
atch_
a
ddr
e
ss:
s
eparate things out into
.
b
ss and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-13
Dan Carpenter
*new* check_
t
e
st_
b
it: check for test_bit(BI
T
(0)
,
&
fo
o
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpe
n
ter
t
y
p
e: speed up ge
t
_typ
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-04
Dan Carpenter
type
:
improv
e
get_bino
p
_ty
p
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-05-01
D
a
n Carpenter
flow: add a new expr->parent
struct member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
Ca
r
pe
n
ter
fixup_ker
n
el:
h
ard code __spi_syn
c
()
r
eturns
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Dan
C
arpenter
f
i
xup_
k
e
rnel: kmalloc() can
a
ll
o
c
ate
m
o
re
d
ata
.
L
et
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-27
Oleg Droki
n
c
heck_locking
.
c: Fix anno
y
in
g
invisible read_unlock
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-24
Dan Car
p
enter
smatch_
a
d
dr
e
ss: sor
t
point
e
r
s into different ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpe
n
ter
extra: re
m
o
v
e
som
e
u
n
used func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
smatch
.
h: add the
c
o
m
parison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
D
an Carpenter
type_to_str: fix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Firo
Y
ang
sm
a
tch
.
h:
a
dd estate_get_
s
ingle
_
va
l
ue() declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Carpenter
ignore_si
d
e_effect
s
: get
_
c
h
ild
_
rcu() double ev
a
luates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpent
e
r
impl
i
ed: use comparison inf
o
r
m
ati
o
n for implications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
D
an Car
p
enter
smatc
h
.
h
: mov
e
stree_
s
ta
c
k
d
eclaratio
n
from smatch_slis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpe
n
ter
rosenb
e
rg:
add __builtin_memse
t
/memc
p
y()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpe
n
ter
us
e
r_data2: handle r
e
turned s
t
ruct mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpente
r
c
o
m
parison
:
update a comme
n
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
smdb
.
py: update to reflect LIMIT/FILTER chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Ca
r
penter
u
n
wind: a
d
d
s
ome null
c
hecks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arpenter
type:
includ
e
smatch_slist
.
h
to prevent
a se
g
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
Carp
e
n
t
e
r
extr
a
: don
'
t set
s
tate
s
to unk
n
own at the
beginn
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carpe
n
ter
extra:
don't set
t
rue f
a
lse states if
t
h
ey are the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Ca
r
penter
func
t
ion
_
hooks: a
d
d
a hack aro
u
n
d
in c
o
mpa
r
e_db_re
t
urn_
s
tate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
arpenter
l
i
st: add
a
c
omment about
regist
e
r_implicat
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Ca
r
penter
param_limit:
h
a
ndl
e
struc
t
me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
states: white spac
e
fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Car
p
enter
conditions: ignore
known/i
m
plied c
o
ndition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpe
n
t
er
strings: rec
o
r
d string
a
s
s
ignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
struct
_
assignment: save a
lot
more
info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
nter
param_limit/fil
t
er: fix a type
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jegen
d
b: Avoid derefe
r
encing null pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpent
e
r
co
m
parison
:
handl
e
c
a
nonical for loops with variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next