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
smatch_address: sort pointers into different ranges
2015-04-24
D
a
n
Carpent
e
r
smatch_address: sort po
i
n
t
e
rs into different ranges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan Carpenter
ext
r
a
: remove
s
om
e
unused f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-23
Dan
Carpenter
smatch
.
h: add
the comparison hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-22
Dan Car
p
ente
r
type_to_str:
fi
x
a cras
h
ing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-13
Dan Car
p
enter
i
g
nore_side_
e
f
fects: get_ch
i
ld_rcu() doub
l
e evaluates
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
i
m
plied: use
c
ompa
r
ison information for im
p
lications
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-09
Dan Carpenter
s
match
.
h: move stree_s
t
ack declaration from
s
m
a
tch
_
slis
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-04-07
Dan Carpenter
r
o
senberg: add __bui
l
tin_memset
/
memcpy()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
user
_
d
ata2:
h
a
n
dle retur
n
ed struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
arp
e
n
ter
comparison: update
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
smdb
.
py: upd
a
te to
r
eflect LIMIT/FILTER ch
a
nges
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
un
w
ind: add some null checks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Car
p
enter
t
ype: i
n
clude
s
m
atch_slist
.
h
to
p
reven
t
a
s
e
g
fault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
extr
a
:
don'
t
se
t
states t
o
un
k
n
o
wn
a
t
the beginnin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
ext
r
a: don't set tru
e
false states if they a
r
e
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n
C
a
rpenter
f
u
n
ction_
h
ooks:
a
d
d
a hack ar
o
und in com
p
are_d
b
_ret
u
r
n
_
stat
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
D
an C
a
rpenter
list: add a comme
n
t abou
t
regis
t
er_impli
c
ations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
r
penter
p
aram_limit:
h
andle s
t
ruct m
e
mb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpente
r
state
s
:
w
hite space fix
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
conditions
:
ignore known/implied condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
n
t
er
strin
g
s:
recor
d
s
tring
assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
struc
t
_assig
n
m
e
n
t
:
save a
lot more info
r
mation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
Dan Car
p
ent
e
r
param_
l
imit/filter:
fix a type
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
arpenter
compa
r
is
o
n: handl
e
c
anoni
c
al for loops wit
h
variable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
an Carpenter
comparison: unsigned can
n
ot be less
t
han zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan
Car
p
enter
flow: set __c
u
r_stm
t
and __prev_stmt inside
f
or
l
o
ops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
ter
comparison: merg
i
ng
equiva
l
ent
s
ta
t
es
is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
comp
a
rison:
fix an
i
ndent
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
f
unct
i
on
_
hooks: fix up d
b
_compare_callback()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpent
e
r
fun
c
tion
_
h
o
oks
,
debug: print impossibl
e
retur
n
s
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpe
n
t
e
r
helper: do
n
'
t strip casti
n
g in get_array_offset()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpent
e
r
lin
k
s:
expor
t
merge_link_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
he
l
per: m
a
ke expr_to_
s
tr() print forced casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpent
e
r
t
y
pe: make ty
p
e_to_str() retur
n
a s
n
ame() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
m
o
di
f
i
cation_ho
o
ks: set a v
a
riable as
m
odified
w
hen
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Car
p
e
nter
user_
d
ata2: tag it if
a fun
c
tion sets parameter
s
to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rp
e
nter
stack: cleanup a function pr
o
totype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpen
t
er
deref_check: ignore array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
Carpe
n
ter
t
y
pe:
m
ake sval_
t
ype_max() defau
l
t to
"lon
g
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type:
d
on't
r
eturn SYM_NODE types
from get_re
a
l
_
base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan C
a
rpenter
s
i
d
e_effect
s
:
the iterate_all_kinds() m
a
cro
h
as side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
ente
r
unreach
a
b
le: d
o
n
'
t complain abo
u
t iterate_
a
ll
_
k
inds
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
an Car
p
ente
r
f
l
o
w: fix "foo += !b
a
r
;" assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan
C
a
r
penter
lib: handle
-
funsign
e
d-char o
p
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kernel
.
i
g
nore_side_effe
c
ts: a
d
d s
o
me macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpent
e
r
inde
n
ting: all
o
w
"break;
c
ase
X
XX:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
user
_
data2:
m
ark s
s
c
anf()
outpu
t
as us
e
r
d
ata
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpente
r
math, rl: fix handing divisio
n
inv
o
lving negative numbe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
sval: fix sval_binop_
o
verflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
an Carpenter
pr
e
cedence: complain about "
f
oo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
l
ow:
h
and
l
e str
u
ct initializ
a
tion better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpente
r
estate: add a N
U
LL ch
e
c
k in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
param_u
s
e
d
:
store when a
paramet
e
r
is used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpenter
e
x
tr
a
: ignor
e
m
ore
__
i
n_f
a
ke_
a
ssign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
compariso
n
: f
i
x a crash
i
n
g
b
ug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: add an ex
p
r
_sign
e
d() f
u
nct
i
on tha
t
match
e
s expr_unsigned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
s
m
d
b
.
py: add function
s
to
show functi
o
n
s
implement
i
ng
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpe
n
ter
e
xtra: handl
e
temporary shorthand
poin
t
e
r
s bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
an Ca
r
pe
n
t
er
dereferen
c
es
_
param: look for po
i
nters
used as an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
chec
k
_ind
e
n
t
ing:
w
a
rn about missing cu
r
l
y
br
a
ces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
pa
r
am_cl
e
ared: add
a
comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
C
arp
e
nter
val
i
dation: correct some outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
db: build indexes faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix compile breaka
g
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpenter
kernel_printf:
silence some fal
s
e
positiv
e
s using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
p
ent
e
r
strings:
record which s
t
rings are being
used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an
C
a
rpen
t
e
r
us
e
r_data2: tu
r
n on skb->data tagg
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
db: r
e
name FILTER_VALUE,
L
IMITED
_
VAL
U
E, and
A
DDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
kernel_
p
rintf
:
sil
e
n
c
e som
e
"struct soc
k
addr " f
a
lse
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpenter
type: add unions to type
_
to_
s
tr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
type
_
val
u
e
:
sp
e
ed up lo
a
ding the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Ca
r
pen
t
er
*new*
r
eturn_cast: complain
a
bout r
e
turn -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
format_str
i
ng: de
l
ete t
h
is becau
s
e chec
k
_k
e
r
n
el_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
ter
functi
o
n_hooks: add
s
ome debug
o
utpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
e
x
t
r
a: cleanup d
b
_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
e
xtra: separate
P
ARAM_LIMI
T
and P
A
RA
M
_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
functi
o
n
_hooks:
d
on't
take a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpent
e
r
h
e
l
per: introd
u
c
e a
l
loc_state_s
t
r
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carp
e
nter
mat
h
: handle
"
i
f
(
l
ikely(1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
math: fi
x
/cleanup do
_
compari
s
o
n()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carp
e
nter
capped: don't
reco
r
d singl
e
values as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
db:
export
g
et_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
user_data2: wron
g
parameter tag
g
ed as user
d
ata in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nbe
r
g: delete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
rosenberg
:
strip away s
o
me c
a
s
t
ing (eliminates a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nberg
:
do
n
't
save u
n
need
e
d stat
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
buf_s
i
ze: don
'
t sav
e
u
s
eless information in the d
a
tabase
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
struct_a
s
si
g
nmen
t
:
i
gnore more fake ass
i
gnmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpen
t
e
r
s
l
ist:
f
ix
d
ebugging ou
t
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Car
p
enter
param_cleared, ros
e
nberg:
a
dd under
s
cored memset/c
p
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
param_filter/se
t
: don't
record
fake
a
ssignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
slist, debugging: don't print ->possible list if th
e
re
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
t
ype_val: add
m
ore stuff
t
o ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
n
t
er
d
b
/re
l
oad_partial
.
sh: change
database info for one
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carp
e
nter
kernel_printf: p
u
t l
o
ts of single quot
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan
C
arpente
r
Merge
b
ranc
h
'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rp
e
nter
che
c
k_ke
r
n
e
l_
p
rintf
.
c
: Simplify r
e
curs
i
ve calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
Carp
e
nter
ke
r
nel_p
r
intf: allow '
\
b
' if i
t
'
s
t
he firs
t
character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
validation/sm_
r
o
senberg
.
c: don't pass an uninitiali
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n Carpe
n
ter
ker
n
el_printf: add some more quote
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next