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
implied: fix bug handling unmatched implications
2015-03-20
Dan Carpenter
function_hooks, debug: print impossible
r
eturns
if
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
hel
p
er:
don't st
r
ip ca
s
ting
i
n get_arra
y
_offset
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpente
r
link
s
: export
m
erge_link_stat
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
elper
:
mak
e
expr_to_str() p
r
i
n
t for
c
e
d
casts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Car
p
enter
type: m
a
ke type
_
to_s
t
r()
retu
r
n
a sname() buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpente
r
modification_hooks: se
t
a variable as modified when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
user_data2: tag it
i
f a function
s
ets parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an
C
arpenter
stack: cleanup a function proto
t
ype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n Carpenter
deref_chec
k
: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Car
p
enter
type:
make sval_type_max() defau
l
t t
o
"lon
g
long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
type:
don
'
t return SYM_NODE types from get
_
real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
side_effects:
t
he itera
t
e
_all_kinds()
m
a
c
ro ha
s
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpe
n
ter
unreachable: do
n
't compl
a
in
a
b
o
ut
i
terate_all
_
kinds()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Da
n
Carpenter
flo
w
: fix "foo += !
b
ar;" assign
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
D
an Carpente
r
lib:
handle -funsigned-char o
p
t
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
Car
p
enter
kernel
.
ignor
e
_side_effects: add some
m
acros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Da
n
C
a
rpenter
in
d
enting: allow "b
r
eak; case X
X
X:"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
D
a
n
Carpen
t
er
user_da
t
a2
:
mark sscanf() o
u
tput as us
e
r data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
math, rl:
fix handing division in
v
ol
v
i
n
g
n
e
gative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Da
n
Carpenter
sval: fix sva
l
_
b
inop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpenter
precede
n
ce: complain about "foo
<< bar - baz"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan Carpenter
flow:
han
d
le
s
t
ruct ini
t
ialization b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
D
a
n C
a
rpenter
estat
e
: add a N
U
LL ch
e
ck in estat
e
s_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Dan
Carpenter
param_used: store w
h
en a par
a
meter is u
s
e
d
s
o we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
extra: ignore more __in_fa
k
e
_
ass
i
gn data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an Carpenter
compariso
n
:
f
ix a crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
type: a
d
d
a
n
ex
p
r
_signed() function tha
t
mat
c
hes e
x
pr_unsigned(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpent
e
r
smdb
.
py: add functio
n
s to sh
o
w fu
n
c
t
ions impl
e
me
n
ting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
Carpe
n
ter
extr
a
: handle temporary sh
o
rthand poi
n
ters be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpente
r
derefe
r
en
c
es_param:
l
ook for pointers
u
sed
a
s an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Ca
r
penter
check_in
d
e
n
ting:
warn about missing
c
urly braces and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan Carp
e
n
ter
param
_
cl
e
ared: add
a
c
omment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
an Carpe
n
ter
validation: co
r
r
ect some
o
u
tput
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build: a
l
low use o
f
PKG_CONFIG to ov
e
rride pkg
-
co
n
fig
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Da
n
Carpent
e
r
db: build inde
x
es faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
enter
slist: f
i
x
compile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
kernel_p
r
intf: si
l
en
c
e
some fa
l
se positives u
s
ing s
m
atch_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
str
i
n
g
s: record whi
c
h
strings are be
i
n
g
u
s
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Car
p
enter
u
s
er
_
data2: turn on skb->
d
ata
t
aggi
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpe
n
te
r
db:
re
n
ame FILTER_V
A
LUE, LIMI
T
ED_VALUE, and
A
D
D
ED_
V
ALUE
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ker
n
el_print
f
:
s
ilen
c
e
s
ome "st
r
u
c
t
so
c
kaddr " false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan
C
arpenter
typ
e
: ad
d
unions to ty
p
e_to_str(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Car
p
ente
r
type_value: sp
e
ed
u
p loading the databas
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Ca
r
pe
n
ter
*new* return_cast: complain
about
r
eturn -EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
ter
format_string: del
e
te this b
e
caus
e
check_ke
r
nel_pr
i
ntf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
functi
o
n
_
hoo
k
s:
add so
m
e
d
e
b
u
g output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extr
a
: cleanup
d
b_param_add_set()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Carpenter
extra: sepa
r
a
t
e PA
R
AM_LIMIT and PARAM
_
FILTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
n
t
er
functi
o
n
_hooks: don
'
t take a
shortcut for "nee
d
l
ess
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
helper: introduce
a
llo
c
_
s
ta
t
e
_
str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
math: handle "if (li
k
ely(1))
{
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
Ca
r
pent
e
r
math: fix/cle
a
n
u
p
d
o_c
o
mparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpenter
cap
p
ed: d
o
n't
r
ecord s
i
ngle va
l
ues as capped in
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rp
e
nter
d
b
: export get_
s
t
atic_
f
ilter
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
user_data2:
w
rong parameter
t
agge
d
as use
r
data in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenber
g
: d
e
lete
s
o
me co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pe
n
ter
r
osenberg: strip away
some casting (eli
m
inates
a fals
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
pent
e
r
r
osenbe
r
g
:
d
o
n
'
t s
a
ve u
n
nee
d
ed
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
buf_size: don
'
t save usele
s
s
inform
a
tion in the datab
a
se
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
struct_
a
ssignment: ignore more fake assig
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
e
nte
r
slis
t
: fix
d
ebugging output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
an C
a
r
penter
param_cleared,
rosenberg: ad
d
u
n
derscored memset/cpy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
param
_
fi
l
ter/set:
don't rec
o
rd fake assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
penter
s
l
ist
,
debugging: don't print ->possible list if t
h
ere
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nte
r
type_val: add
more stuff
t
o ignore
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carp
e
nter
db/reload_partial
.
sh: change da
t
abase
info for
o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jegen
Documentation fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
D
an Carpenter
kernel_prin
t
f:
put lo
t
s of single quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
Merge b
r
anch
'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ra
s
mus Vi
l
lemoes
check
_
kernel_printf
.
c: Allow
co
n
st char
[
] format arguments
commit
|
commitdiff
|
tree
2015-02-12
R
asmus Villemoes
ch
e
ck_ke
r
n
el_p
r
intf
.
c:
H
andl
e
'fmt
? :
"default"'
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus
V
illemoes
check
_
kernel_pri
n
tf
.
c: Sim
p
lify recursiv
e
calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_kernel
_
prin
t
f
.
c
: Sim
p
lify recursi
v
e calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan C
a
rpenter
kernel_pri
n
t
f: allow '\b' if
i
t's the f
i
r
s
t cha
r
act
e
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
val
i
dation/sm_
r
osenberg
.
c: don't pass an uninitialized
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
kernel_prin
t
f: add so
m
e
m
or
e
quotes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpenter
kernel_printf: move a wa
r
n
i
ng under the --s
p
ammy
f
lag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_p
r
in
t
f: add some
q
uo
t
e
s
a
ro
u
nd
t
he function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpe
n
ter
kerne_printf:
'
%
p
b' is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemo
e
s
c
h
eck_ke
r
nel_
p
rintf
.
c: F
i
x braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
check_kernel_pri
n
tf
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vill
e
moes
check_kerne
l
_print
f
.
c
:
Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
R
a
smus Ville
m
oes
smatch:
Check t
h
e ker
n
e
l
's %p f
o
rmat exten
s
ions
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemoes
sm
a
t
c
h:
Ad
d
--enabl
e
opt
i
on
commit
|
commitdiff
|
tree
2015-02-11
Rasmu
s
V
i
ll
e
moes
smatch: Imp
l
ement --show
-
c
hecks
commit
|
commitdiff
|
tree
2015-02-11
Ra
s
mus Villemoes
smatch: A
d
d
d
um
m
y
e
lement to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc
V
an Oostenry
c
k
Avoid
reuse of
s
tring
b
uffe
r
when concatening adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wrong_size_ar
g
: warn a
b
out
"if (memcmp
(
foo,
b
ar, size
o
f
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
s
tru
c
t_assignment: remove
a
blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Ca
r
penter
s
v
al: handle LEFTSHIFTs in sval_binop_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpente
r
sval: ca
s
t the result
i
n
sva
l
_
b
i
n
o
p
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpe
n
ter
t
y
pe_va
l
: update
to
h
andle PARA
M
_
S
ET f
r
om t
h
e
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
enter
type_val
:
ig
n
o
re kmal
l
oc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
t
ype_
v
al: ignore all the "for_each"
macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
use
r
_data2:
r
emove some debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
h
e
lper: introduce invert_op(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
a
rpent
e
r
ranges:
b
reak t
h
e range list parsing into a sep
a
rate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
pe
n
ter
ra
n
ges:
prepa
r
e to ch
a
nge a string to an est
a
te
instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
an Carpenter
mo
d
ifi
c
a
t
ion
_
ho
o
ks: add PARAM_SE
T
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Da
n
Carpenter
param_cleared: cle
a
ring
a
member
i
s not cl
e
aring
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next