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
param_limit/filter: fix a type bug
2015-03-30
Dan
C
a
r
p
ent
e
r
para
m
_limit
/
filter: fix a typ
e
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-30
S
ilvan Jegen
db: Avoid
d
ereferencing null po
i
n
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n C
a
rpe
n
ter
compar
i
son:
handle canonic
a
l f
o
r loop
s
with
v
ariable
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
comparison: unsigned c
a
n
n
ot be less than zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
enter
flow
:
set __cur_st
m
t and __prev_st
m
t in
s
id
e
f
o
r loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpe
n
t
e
r
compa
r
ison:
m
erging equivalent
s
ta
t
es is not undefined
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
mparison: fix an i
n
den
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
func
t
ion_ho
o
ks: fix
up
d
b_compare_call
b
a
ck()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpenter
function_h
o
o
k
s, de
b
ug: print imp
o
ssible r
e
t
u
rn
s
i
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
rpenter
helper: don't strip ca
s
tin
g
in get_arra
y
_offs
e
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Ca
r
penter
links: export
merge_
l
ink_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
r
pen
t
er
help
e
r
:
make expr_to_str(
)
print f
o
rc
e
d cas
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpe
n
ter
t
yp
e
: m
a
ke type_to_str() return a sname()
b
uffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpente
r
modification_hooks: set a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan C
a
r
penter
user_data2:
t
ag
it if a func
t
ion sets
p
aramet
e
rs to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
arpe
n
te
r
sta
c
k:
cleanup
a
function prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
deref_ch
e
ck
:
ig
n
ore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n Carp
e
nt
e
r
type: make sv
a
l_t
y
pe_
m
ax() default to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
D
a
n
Ca
r
penter
type: don't retur
n
S
Y
M_NODE type
s
fr
o
m get_real_base
_
type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Car
p
enter
s
ide_effects: the
i
ter
a
t
e
_all_k
i
nds()
macro has side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreachable: don'
t
complain
a
b
out iterate_all
_
kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
D
a
n
C
a
rpent
e
r
f
low: fix "
f
oo += !
b
a
r;" assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Da
n
Ca
r
penter
lib
:
han
d
le -funsigned-cha
r
option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan
Carpen
t
er
kern
e
l
.
ignore_
s
ide_effect
s
: add
some macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
indenti
n
g
: al
l
ow "
b
reak
;
c
a
se
X
XX:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Ca
r
penter
use
r
_da
t
a2: mark
s
scanf() output as user dat
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math,
rl: f
i
x handing division involvin
g
negative n
u
mber
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
sval: fix sv
a
l
_
binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n Carpente
r
prec
e
dence:
com
p
lain about "foo << bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
f
l
ow: handle struct initializ
a
tion better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan
C
a
rpenter
es
t
ate: add a
N
U
LL check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
D
a
n Carpenter
param_u
s
ed: store when a parameter is
used so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpente
r
extra: ignore m
o
r
e __in_fake_assign d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carp
e
nt
e
r
comparison: fix a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
t
ype: add an e
x
pr_
s
ig
n
e
d() function that mat
c
hes
e
xpr_un
s
i
gned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n
Carpenter
smdb
.
py: add function
s
to show
f
unc
t
i
o
ns imple
m
enting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
e
x
tra: ha
n
dle temporary
s
horthand
p
ointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Car
p
ent
e
r
derefe
r
ences_param: lo
o
k for
p
ointers used as
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan C
a
rp
e
nt
e
r
check_indent
i
ng: warn about mis
s
ing cur
l
y
brac
e
s and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Da
n
Carpente
r
par
a
m_cleared: add
a
co
m
ment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan C
a
rpenter
va
l
idation:
c
orrect some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Kos
k
i
nen
build: a
l
l
ow
u
se of PKG_C
O
NFIG to override pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carp
e
nter
db: build indexes
faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Ca
r
penter
slist
:
fix compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_printf: sil
e
nc
e
some false
positives using smatch_str
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
st
r
ings: record which s
t
ring
s
are being u
s
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpen
t
er
user_data2: tu
r
n on sk
b
->data tagging
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpenter
db: rename FILTER_VALUE, LIMITED_VALUE, and ADDED_V
A
LUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Car
p
ent
e
r
ke
r
nel_print
f
: silence some
"
struct so
c
ka
d
dr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an Carpe
n
ter
ty
p
e: add unions to typ
e
_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
an C
a
rpenter
type_va
l
ue: sp
e
ed up loading t
h
e database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpe
n
ter
*
n
ew*
r
eturn_cas
t
: com
p
lain about return
-EINVAL
in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
format_strin
g
: delete
t
his beca
u
se che
c
k_
k
erne
l
_print
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
fu
n
ction_ho
o
ks: ad
d
some debug ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
extra:
c
leanup d
b
_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extr
a
: separate PARAM_LIM
I
T
a
nd
PARAM_FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
f
u
nction_h
o
oks:
d
o
n'
t
t
ake a shortcut for "needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
help
e
r
:
introduce
alloc_st
a
te
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
m
ath
:
handle "if
(
likely(1)
)
{"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
rpenter
mat
h
: fix/cleanup do_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
er
capped
:
don't rec
o
rd single
v
alu
e
s
as
capped in th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
a
r
pe
n
ter
db: export get_static_filter()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
user_data2: wrong parameter tagg
e
d as
user data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
rosenbe
r
g: delete some cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
rosenber
g
: strip away s
o
me casting (elimi
n
a
t
es a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rosenberg:
don't
s
a
v
e u
n
neede
d
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
buf_size: don't s
a
ve usele
s
s i
n
form
a
tion in the
database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
struct_assignment:
ignore more fak
e
assi
g
nme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
s
li
s
t: fix debugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_cle
a
red, rosenberg: add underscore
d
memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
param_f
i
lter/
s
et: don'
t
r
ecord fake assignme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpen
t
e
r
s
l
i
st, debugging: don't print ->possible l
i
st if th
e
r
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
n
t
er
type
_
val: add more stuff to ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpente
r
db/reloa
d
_partial
.
sh: chang
e
database info fo
r
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silva
n
Jegen
Doc
u
m
e
n
tation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
kernel_print
f
:
put lots of si
n
gle quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpe
n
ter
Me
r
ge branch
'
devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Vi
l
lemoe
s
check
_
kernel_printf
.
c: Allow const char[
]
f
o
r
m
a
t argument
s
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
ch
e
ck_ker
n
el_printf
.
c: H
a
ndle 'fmt
?
:
"default"'
commit
|
commitdiff
|
tree
2015-02-12
R
a
smu
s
Vil
l
emoes
check_kernel_pri
n
tf
.
c: Simplify recur
s
ive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n C
a
r
p
enter
check_kerne
l
_printf
.
c: Sim
p
lif
y
recur
s
ive callin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
kernel_p
r
intf:
allow '\b' if it's
t
he
f
ir
s
t character
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pen
t
er
validation/sm_ros
e
nberg
.
c:
don't pass an uninitia
l
iz
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
a
n C
a
rpenter
kernel_printf: add
s
o
m
e
more
q
uotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
enter
ke
r
nel_prin
t
f: mov
e
a
w
arning under the -
-
spammy flag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Da
n
C
arpent
e
r
k
e
rnel
_
pri
n
tf: add some quotes
aroun
d
the function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
ker
n
e_pri
n
tf:
'
%
pb' is vali
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Vil
l
emoes
c
heck_kernel_
p
rintf
.
c: F
i
x b
r
aino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
check_kernel_printf
.
c:
Str
i
p par
e
ntheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
chec
k
_kernel_printf
.
c
: Handl
e
c
o
nditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
smatch: Check the kern
e
l's %p format ex
t
e
nsions
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villemoes
smatc
h
:
Add --
e
nable option
commit
|
commitdiff
|
tree
2015-02-11
R
a
s
mus V
i
llemo
e
s
smatc
h
:
Implement
-
-show-
c
hecks
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Vi
l
le
m
oes
smatc
h
: Add dummy
element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
L
u
c
Van Oosten
r
yck
Avoid reuse of string
b
uf
f
er when concateni
n
g adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Car
p
enter
w
r
ong_size_arg: warn about "if
(
memcmp(fo
o
, bar,
si
z
eof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
struct_assignment: rem
o
ve a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpent
e
r
sval: handle LEFTSHIFTs in
sval_bino
p
_o
v
erflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
sva
l
: c
a
st
th
e
re
s
ult in sval_binop
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_val: update to h
a
ndle
P
ARA
M
_SET from t
h
e d
b
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next