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
extra: don't set true false states if they are the same on both sides
2015-03-30
Dan
C
a
r
p
enter
extra: don't set true fals
e
states i
f
t
h
ey a
r
e the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpenter
funct
i
on_hooks
:
add a
h
a
c
k
around in compare
_
db_ret
u
rn_
s
tate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carp
e
n
t
er
list:
add a com
m
ent about register_im
p
lications
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
a
n Carp
e
nter
param_limit: handle st
r
uct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
C
a
rpenter
states:
w
hite s
p
ac
e
fix
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
D
an Carpenter
condition
s
: ignore known
/
im
p
lied con
d
itions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan
Carpen
t
er
strings:
record str
i
ng assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpente
r
st
r
uct_assign
m
e
n
t
: save a lot mo
r
e
in
f
ormati
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Dan Carpenter
p
a
ra
m
_limit/filter: fix a type b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-30
Silvan Jegen
db: Avoid
dere
f
erencing null po
i
nter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
compariso
n
: handle canonical for l
o
op
s
with variable
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Carpenter
c
o
m
p
a
rison: unsigned can n
o
t be l
e
ss than ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan Car
p
e
n
t
er
flow: set
_
_cur_s
t
mt and
_
_prev_stmt
inside for lo
o
ps
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
Dan
C
ar
p
enter
compari
s
on: merging
equivalen
t
sta
t
es is not
unde
f
ined
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-26
D
a
n Carp
e
nter
c
omparison: fi
x
an inden
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Ca
r
penter
function_hooks:
fix up
db_
c
ompare_callbac
k
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Ca
r
p
enter
fu
n
c
tion_ho
o
ks
,
debug
:
prin
t
imposs
i
ble returns if
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
helper: don't st
r
ip
c
a
sting in get_array_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
l
inks: export merge_link
_
st
a
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
h
elper: make expr_to_str() pri
n
t forced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan
C
ar
p
ent
e
r
type: make type_to_str
(
) ret
u
rn
a
sname() buffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
m
o
dification_hooks: set a vari
a
bl
e
as modifi
e
d
wh
e
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpen
t
er
user_data2: tag
it if a
f
u
nction sets pa
r
ame
t
ers
to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
stack: cle
a
nu
p
a function
p
rot
o
type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpente
r
de
r
ef
_
chec
k
: ignor
e
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carp
e
nter
type: make sval_ty
p
e_max() def
a
u
lt to "long lon
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Da
n
Carp
e
n
t
e
r
type:
don
'
t return SYM_NODE type
s
f
rom get_real_base
_
typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects: t
h
e ite
r
ate_all
_
k
i
nd
s
() macr
o
has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
D
a
n Carp
e
nter
u
nreachabl
e
: don't
compla
i
n abou
t
iterate_
a
ll_k
i
nds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Car
p
en
t
er
fl
o
w: fix "foo += !bar;" assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
Dan C
a
rpenter
l
ib
:
handle -fu
n
si
g
ned-char
o
ption
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan
C
a
r
p
enter
k
e
rnel
.
ignore_si
d
e
_
effe
c
ts:
a
dd some
macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
ind
e
nting: allow "br
e
a
k
; ca
s
e
XXX:
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
u
s
er_data2:
mark
sscanf() out
p
ut as user
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
Carpenter
ma
t
h
,
r
l
: fix handing
d
i
vision invo
l
vi
n
g
negative number
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
D
an Car
p
e
n
ter
sval: fix sval_binop_o
v
e
r
flows(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan C
a
rp
e
nter
p
recede
n
ce: com
p
lain about "fo
o
<< bar - baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
arpenter
f
l
ow: handle struct initiali
z
ation better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpenter
estat
e
: add
a NULL
c
he
c
k in e
s
tat
e
s_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
Carpenter
para
m
_used
:
store
whe
n
a par
a
meter is used so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpe
n
t
er
extra:
i
g
nore m
o
re _
_
in
_
f
a
ke_assign data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
D
a
n
Carpen
t
er
comparison: fix a cr
a
shing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Da
n
Carp
e
nter
ty
p
e: add an
e
x
p
r
_
s
ig
n
ed() func
t
ion that
matches expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py: ad
d
functio
n
s to show funct
i
ons imp
l
em
e
nting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpent
e
r
extra: handle temporary shorthand pointers
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
dereferenc
e
s_para
m
: look f
o
r pointers used as
an array
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
check_ind
e
nt
i
n
g
:
warn
a
bout missing curly bra
c
e
s
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
nter
param_cleared:
a
dd
a
com
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carpenter
v
a
lida
t
ion: correct som
e
ou
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Kos
k
inen
build:
a
llow
u
se o
f
PKG_CONFI
G
to
o
ver
r
ide pkg-config
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
C
arpente
r
db:
b
uild
i
ndex
e
s fas
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpe
n
ter
slist
:
fix
c
ompile bre
a
k
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an
Car
p
enter
kernel_pr
i
ntf
:
silence
s
ome fals
e
positives using smatch_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan C
a
rpenter
strin
g
s: re
c
ord
w
h
i
ch strings are being used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpen
t
er
user
_
dat
a
2: turn on sk
b
->da
t
a t
a
gging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpenter
db:
r
e
n
ame FILTER_VAL
U
E,
L
IMI
T
ED_VALUE, and
A
DDED_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
C
a
rpenter
kernel_printf:
silence
some "struc
t
soc
k
addr " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpe
n
te
r
typ
e
:
add
u
n
i
ons to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carp
e
nter
type_
v
alue: s
p
eed up l
o
ad
i
ng the da
t
abase
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
n
ew* return_cast:
c
omplain about return -EINVA
L
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
format_s
t
r
i
ng: delete
thi
s
be
c
ause
check
_
kernel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpe
n
ter
function_hooks:
a
d
d some debug ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpe
n
ter
extra: cleanup db_param_add_set
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
extra: separa
t
e
P
AR
A
M_L
I
MIT and PARA
M
_FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
f
unction_hooks: don't
t
ak
e
a
s
hortcut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
helper: i
n
t
roduce alloc
_
sta
t
e
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
a
rpenter
math: han
d
le "if
(likel
y
(
1
)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
m
a
th: fix/cl
e
a
nup d
o
_
c
o
m
par
i
son(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpent
e
r
capped: don't reco
r
d single
v
alues as
capped in
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
d
b: ex
p
o
r
t ge
t
_
static_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
user_data2: wrong pa
r
ameter tagged as user
data in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosenberg: del
e
te some code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
rosenberg: strip
away some ca
s
ting (eliminates a false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpen
t
er
ro
s
enberg: don't sa
v
e unneeded stat
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
buf_s
i
ze: don't save useless in
f
ormation in
the d
a
t
a
base
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carp
e
nter
struct
_
assignment: ignore more fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist:
f
ix debug
g
ing o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan C
a
rpenter
param_cl
e
ared, ro
s
en
b
erg: ad
d
unders
c
ored memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
par
a
m_filt
e
r/set: don't
rec
o
rd fak
e
a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
C
a
r
p
enter
sli
s
t, debugging: don't
p
rin
t
->possible
l
ist if there
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
typ
e
_val: add
more stuff to igno
r
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpe
n
ter
db/relo
a
d_partial
.
s
h: change data
b
as
e
info for one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
a
n
Jegen
Documentati
o
n fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
D
a
n Carpenter
ke
r
nel_pri
n
tf:
p
ut lots of si
n
gle quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
M
erge branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
c
he
c
k_kernel_printf
.
c: A
l
low
c
onst cha
r
[
] format arguments
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villem
o
es
c
h
eck_kern
e
l
_
print
f
.
c: H
a
nd
l
e 'f
m
t
? : "d
e
fault"'
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
check_kerne
l
_printf
.
c: Simpli
f
y recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_
k
e
r
nel_p
r
intf
.
c: Simpl
i
fy recursive
calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
r
pe
n
ter
kernel_printf: allow '\b' if it's
the first character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpent
e
r
val
i
dation/sm_rosenberg
.
c
:
d
on't pass
a
n unin
i
tiali
z
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
ernel_printf: add
some more quo
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpen
t
er
kern
e
l
_printf: move a warn
i
n
g under the
--spammy flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
t
er
kernel_printf
:
add some qu
o
tes around the function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kerne_printf:
'%pb
'
is val
i
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vil
l
emoes
check_k
e
rnel_pri
n
tf
.
c: Fix bra
i
no
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Villemo
e
s
check_ke
r
nel
_
printf
.
c: St
r
i
p
pare
n
theses
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
Villem
o
es
check_kernel_printf
.
c: Hand
l
e c
o
nditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatc
h
: Check the kernel's
%
p for
m
at
exten
s
ions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
s
ma
t
ch:
A
dd --enable o
p
tion
commit
|
commitdiff
|
tree
next