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
precedence: complain about "foo << bar - baz"
2015-03-05
Dan Carp
e
nter
precede
n
ce: complain about "
f
o
o << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Car
p
en
t
er
flow
:
handle s
t
ruc
t
initia
l
i
z
ation
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estate: add a
NU
L
L check in est
a
tes_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
arpent
e
r
para
m
_u
s
ed: 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
Carpen
t
er
extra
:
i
gnore more __in_fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
c
o
mparison: fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
C
arpenter
type: ad
d
a
n
expr_signe
d
() functi
o
n
that matche
s
expr_
u
n
s
igned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py: add function
s
to
s
how
functio
n
s impleme
n
t
ing
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
extra:
handle tempora
r
y shorthand
p
o
i
n
ters
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
C
arpenter
dere
f
erences
_
par
a
m: look for pointers used as an a
r
ray
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
chec
k
_indenti
n
g: w
a
rn abo
u
t miss
i
ng curl
y
braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
param_
c
leared:
add a c
o
mment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
validation: c
o
rre
c
t so
m
e
outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aa
r
o Koskin
e
n
build: allow use of PKG_CONFIG to override
p
kg
-
c
on
f
ig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
db: buil
d
ind
e
x
e
s faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpente
r
slist:
fi
x
c
o
mpile br
e
akage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
ent
e
r
k
e
r
n
e
l_pr
i
ntf:
sile
n
ce some false posi
t
ives using smatch_st
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
ente
r
strings: record
w
hich
string
s
are being used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
user_data2: tur
n
o
n
skb->data
t
a
gging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rename
FILTER_VALUE, LIMITED_VALUE, and ADDED_VALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
k
ernel_printf:
sil
e
nce some "str
u
ct sockaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpente
r
type: add un
i
ons
t
o
type_to_s
t
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan
Carpenter
type_val
u
e: speed up loa
d
i
n
g the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
*
n
e
w*
return_c
a
st: complain about
r
eturn -EINVAL
i
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
f
ormat_string: delete t
h
is because chec
k
_
k
ernel
_
printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
fu
n
ction
_
hooks: add
s
o
me debug
o
u
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
extra: clean
u
p
db_param_add_se
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
en
t
er
ex
t
ra: separate PAR
A
M_LIMIT and PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpe
n
ter
f
u
nctio
n
_
hook
s
: don't take a short
c
ut for "needle
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
ar
p
enter
helper: i
n
troduce alloc_state_
s
t
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: ha
n
dle "if (likely(1))
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Ca
r
penter
math: fix/clean
u
p do_comparison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
capped: don't reco
r
d
s
ingle
v
al
u
es as capped in the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
db: export get_stat
i
c_fil
t
er(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_d
a
ta2: wrong parameter ta
g
ged
as user dat
a
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
C
a
r
p
enter
r
o
senberg: del
e
t
e
some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
rosenberg: strip away so
m
e
c
a
sting (eliminate
s
a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
rosenb
e
rg: don
'
t save u
n
ne
e
ded states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
nter
b
u
f_siz
e
: don
'
t s
a
ve
u
seless information in the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpenter
struct_assignment: ignor
e
more
f
a
k
e assignm
e
n
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
slis
t
: fix
debugging outpu
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
penter
param_cleared, rosenb
e
r
g: add underscored mem
s
e
t/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
para
m
_filter/set:
don
'
t r
e
cord
f
ake assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpenter
slist,
d
ebugging: don't prin
t
->
p
oss
i
ble list i
f
there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
type_val:
add more s
t
uff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpenter
db/reload_partial
.
s
h
: change database inf
o
for on
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Docu
m
entation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carpenter
ker
n
el_print
f
:
p
ut lots of single quo
t
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
enter
Merge
br
a
nch 'devel3
'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
R
a
s
mus Ville
m
o
es
ch
e
ck_
k
ernel_printf
.
c: Allow co
n
st ch
a
r[
]
f
ormat arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
h
ec
k
_
k
e
r
nel_printf
.
c: Hand
l
e
'fmt
?
: "default"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
hec
k
_k
e
rnel
_
printf
.
c: Simplify
r
ecursive c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
che
c
k_kernel_printf
.
c: Si
m
plify recu
r
siv
e
c
a
lling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
kerne
l
_pr
i
nt
f
: allow '\b'
i
f it's
the first
ch
a
racter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
validation/sm
_
rosenberg
.
c
:
d
o
n't pass an uniniti
a
li
z
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
kernel
_
printf: add some more quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_prin
t
f: m
o
ve a warning under the
--
s
p
ammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_printf:
add some
q
uotes around the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
e
r
ke
r
ne_printf: '%
p
b
' is
v
alid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
che
c
k_k
e
rne
l
_printf
.
c:
Fi
x
braino
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mu
s
Villemoe
s
check_kernel
_
printf
.
c: Str
i
p
parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
che
c
k_k
e
rnel_pr
i
ntf
.
c:
Handle
c
ondi
t
io
n
als
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemo
e
s
sma
t
c
h: Check the kernel's %
p
format
ext
e
ns
i
o
n
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Add --en
a
bl
e
o
ptio
n
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus
V
i
l
lemoes
smatch:
I
mp
l
eme
n
t
--s
h
o
w
-checks
commit
|
commitdiff
|
tree
2015-02-11
R
a
sm
u
s Vil
l
emoes
smatch: A
d
d
d
ummy element to
reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Van Oostenryck
A
v
oi
d
re
u
se
of s
t
rin
g
buffer when c
o
nca
t
eni
n
g
ad
j
acent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n
Carpente
r
wrong_size_arg
:
warn about "if
(
memcmp(foo, bar,
sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
r
penter
struct_as
s
i
gnment: remove a blank lin
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Car
p
ente
r
s
val: handle LEFTSHIFTs
in sval_binop_over
f
lows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan C
a
rpenter
sv
a
l: cas
t
th
e
result in s
v
al_
b
inop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arp
e
nter
type_v
a
l
:
update to handle
P
ARA
M
_SET from th
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpent
e
r
type_va
l
:
ignore kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n C
a
rpe
n
ter
type_val: igno
r
e a
l
l the "for_each"
m
acros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
user
_
data2
:
r
e
m
ove so
m
e
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
helper: i
n
t
r
oduce inver
t
_
o
p()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
pente
r
ranges: b
r
eak the range
l
i
st
p
arsing into a separa
t
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges: prepare to change
a
s
tring to an
e
s
t
a
t
e
i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
penter
mod
i
fication_h
o
oks: add PA
R
AM_S
E
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Da
n
C
arpen
t
er
p
a
r
am
_
cleared: cle
a
ring a m
e
mber is not cl
e
a
r
in
g
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Car
p
enter
type_val: ignore fake me
m
ber ass
i
gnments f
r
om u
n
c
a
s
ted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Da
n
C
a
rpenter
type_value: list
_
entry i
s
safe
a
s well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
D
a
n C
a
rpenter
db: use
s
a
v
ed return
e
state
instead of searching the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpenter
d
ebug: introdu
c
e __smatc
h
_
known()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
d
b
,
extr
a
:
use PARAM
_
SET if the
par
a
meter is totally
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
Dan
C
a
r
penter
frees_par
a
m: modify mea
n
s
it
'
s
not freed anymor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-15
D
an Ca
r
penter
slist: fix "s
t
ack not empty" errors
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carp
e
nter
silence: ad
d
__read_once_size() to kerne
l
.
silenced_fun
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpente
r
compa
r
is
o
n: handle preops like "if
(++a == b
)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpen
t
er
flow: don't
i
nline functions which are over 20 l
i
nes
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Da
n
Carp
e
nter
funct
i
on_ptrs: handl
e
SYN_NODE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
helper
:
improve get_mem
b
er_name()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
u
ser_data2:
s
tart re-writ
e
of
u
s
er_data (not used yet)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Car
p
e
n
ter
math: introduce cus
t
om_g
e
t_absol
u
te_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpe
n
ter
db: improve mem-db debugging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
D
an Ca
r
p
ent
e
r
db: member_info callback s
h
ould p
a
s
s
the
s
m_st
a
te
i
nst
e
ad
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Ca
r
penter
smatch
.
h: silence some compi
l
e warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
free: bring back th
e
double fr
e
e warnings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpente
r
e
x
tra
,
fi
l
ter:
FIL
T
E
R
_VALUE is
n
ot a m
o
d
ifica
t
i
o
n action
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpenter
p
a
ram_fil
t
er: total re-write with bugfixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next