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
sval: fix sval_binop_overflows()
2015-03-05
Dan
Ca
r
penter
sval: fix sval_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
prec
e
dence: compl
a
in
a
b
o
u
t
"f
o
o << bar
- baz"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Da
n
Carp
e
nter
f
low:
han
d
l
e
s
tru
c
t i
n
itial
i
z
a
tion better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
Dan Carpen
t
er
es
t
ate: add a NULL check in estates_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpe
n
t
e
r
param_used:
store when a
parame
t
er is us
e
d
so we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpenter
ext
r
a
:
ig
n
ore m
o
re __in
_
fake_as
s
ign
d
ata
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpe
n
ter
c
ompa
r
i
son: fix a cras
h
ing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
enter
ty
p
e: add a
n
expr_signed(
)
function that matches expr_unsigned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
p
y: add func
t
ions to show functions imp
l
ementing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
extra: handle temporary shorthand
pointers better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpen
t
er
der
e
fer
e
nc
e
s_param:
look for pointers u
s
ed as an
a
rray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan
C
arpente
r
check_indenting
:
warn about
missing curly bra
c
es and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
an Carpenter
par
a
m_cleare
d
: add a co
m
ment
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
D
an
Carpenter
validation: c
o
rrect some output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
bui
l
d: allo
w
use of P
K
G
_
CONFIG to o
v
erride pkg-
c
onfig
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 Carpente
r
slist: fix
c
o
mpile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpen
t
e
r
ker
n
el_printf: silence
s
ome fa
l
se positives using
s
match_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
strings: recor
d
which
s
t
r
i
ngs are being
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
u
ser_data2: turn on
skb->data tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Da
n
Carpenter
db: rena
m
e F
I
LTER_VAL
U
E, LIMITED_VALUE,
and ADDE
D
_VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
ker
n
el
_
printf:
s
ilence some "struct sockaddr
" false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n
Carpente
r
type:
a
d
d un
i
ons
to type_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpent
e
r
type_value: spe
e
d
u
p loadin
g
t
h
e datab
a
s
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carp
e
n
ter
*new*
retur
n
_c
a
st: complain
about ret
u
rn -EI
N
VAL in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpente
r
f
orma
t
_string: delete
t
h
i
s
beca
u
se check_kernel_printf
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function_hooks: add some debug o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpen
t
er
extra: cleanu
p
db_par
a
m_
a
d
d
_
s
e
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carp
e
nter
extra: sep
a
r
ate
PARAM_LIMIT a
n
d PARAM
_
FILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
f
unction_
h
ooks:
d
on't ta
k
e a
shortcut for "needle
s
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
an Carpen
t
er
help
e
r: intr
o
duce alloc_stat
e
_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpente
r
m
a
th: handle "i
f
(like
l
y
(1))
{
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math:
f
ix/cleanup do_co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carp
e
n
ter
capp
e
d:
d
on't
r
e
c
ord s
i
ngle valu
e
s as cap
p
ed in the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: export get_s
t
atic_filter()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
user_data2:
w
rong parameter tagged as user dat
a
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
rosenberg: d
e
lete
some cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
rosenberg: s
t
rip awa
y
so
m
e casting
(
eliminates a
f
al
s
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ros
e
nberg: don'
t
save unnee
d
ed states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpe
n
ter
b
uf
_
size: don't
sav
e
useless
inf
o
rma
t
ion
i
n the
d
atabas
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
struct_assignment: igno
r
e more f
a
ke as
s
ignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
t
e
r
s
l
ist: fix
debu
g
ging
ou
t
put
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
Carpenter
par
a
m_c
l
eared, rosenberg: ad
d
undersc
o
red memset/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
param_fi
l
ter
/
s
et: don
'
t reco
r
d fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
sl
i
st,
d
ebugging: don't print
-
>possible list if t
h
ere
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
ty
p
e_val:
a
dd more stuf
f
to ignore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
D
an Carpente
r
d
b
/relo
a
d_partial
.
sh:
change databas
e
in
f
o
f
or one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Sil
v
an
J
e
g
e
n
Documenta
t
ion fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carp
e
nter
kern
e
l_pri
n
t
f
: put
l
ots of si
n
gle
q
uotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
M
e
r
ge branch
'd
e
v
e
l3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Ville
m
oes
check_kernel_printf
.
c: Allow const char[] form
a
t
a
rguments
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
u
s Villemoes
che
c
k
_kernel_p
r
i
ntf
.
c
: Handle 'fmt ? :
"def
a
ult"'
commit
|
commitdiff
|
tree
2015-02-12
R
asmus
V
il
l
emoes
check_kernel
_
p
rintf
.
c: Simplify
r
e
c
urs
i
ve calli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
check_ker
n
e
l
_printf
.
c: Simplify recurs
i
ve
calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
kernel_pri
n
tf
:
allow
'\b
'
if it'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_rosenberg
.
c: don't pass an uninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
D
an Ca
r
penter
kernel_printf: add som
e
m
o
re qu
o
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf:
move a
warning under t
h
e --spamm
y
f
lag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
r
ne
l
_
pr
i
ntf
:
add some q
u
o
t
e
s
a
r
ound
t
he function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpen
t
er
ker
n
e_printf: '%pb' is valid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
c
h
eck_kernel_printf
.
c
:
Fix
bra
i
no
commit
|
commitdiff
|
tree
2015-02-11
Rasm
u
s Vil
l
emoes
che
c
k
_k
e
rnel_
p
ri
n
tf
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
u
s
Villemoe
s
che
c
k_kernel_p
r
intf
.
c: Handle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch:
Che
c
k the k
e
rnel's
%
p format
e
xtension
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Add
-
-enab
l
e option
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
sma
t
ch: Implem
e
nt -
-
s
h
ow-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
lemo
e
s
smatch: Add dummy
element to reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
L
uc Van Oo
s
tenryck
Avoid reuse of string buffer when concatening adjacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan
Carpenter
wrong_size_
a
rg: warn abo
u
t "if (memc
m
p(f
o
o,
b
ar,
s
izeof
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
struct_assignment:
r
emove a
blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpen
t
er
sval: han
d
le LEFT
S
HIFTs i
n
sval_bi
n
o
p_ove
r
f
lows
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n
C
arp
e
nter
sval: cast the result in sv
a
l_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpenter
ty
p
e_
v
al: u
p
da
t
e to handle PARA
M
_S
E
T from the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
e
nter
type_val: ign
o
re kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
n
ter
type_val:
ign
o
re al
l
the "
f
or_each"
m
acros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
user_data
2
:
r
emov
e
s
ome debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
helper:
i
n
t
roduce inv
e
rt
_
op
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges:
break the range list parsing
int
o
a s
e
parate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Car
p
e
nter
ran
g
es: prepare to change a stri
n
g to an
estate instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carp
e
nter
m
odification
_
hooks:
add PARAM
_
SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpenter
p
a
ra
m
_cleared: clearing a member is not
cl
e
aring a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-21
Dan Ca
r
penter
type
_
val: ignore fake member assignments from unc
a
sted
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpente
r
ty
p
e_va
l
ue: l
i
st
_
entry is safe as
w
el
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
arpenter
db
:
use saved
return estate inst
e
ad of se
a
r
c
hi
n
g
the db
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpe
n
ter
debug: introduce __smatch_
k
nown()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-19
Dan Carpenter
db
,
extra: use
PARAM_SET if the pa
r
ameter is to
t
al
l
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
D
an
Carpenter
frees_param: modify me
a
ns it's not f
r
eed anymore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-15
Dan
Carpenter
slist: fix "stack
n
ot empty" errors
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-12
Dan Carpenter
silence: add __read
_
o
n
ce_size() to kernel
.
silenced_funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan
C
arpenter
compar
i
s
on: ha
n
dle preops
l
i
k
e
"
if (
+
+a == b)"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
flo
w
:
don't inline fu
n
ctions whi
c
h are over
2
0 lines
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpente
r
fu
n
ction_pt
r
s: handle
SYN_
N
ODE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpe
n
ter
h
e
lp
e
r: improve get_m
e
mber_name()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
us
e
r_data2: start
re-write of u
s
er_da
t
a (not used
yet
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carpenter
math: in
t
ro
d
uce custom_ge
t
_
a
bsolute_rl()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpenter
db: improve mem-db
d
ebugg
i
ng
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
db
:
member_info callback should pass t
h
e sm
_
state instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
D
a
n Carp
e
nter
smatch
.
h: silence
s
ome co
m
pi
l
e
warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan C
a
rpenter
fre
e
: bring ba
c
k the double free warnings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-09
Dan Carpenter
e
x
t
ra
,
filte
r
: FILTER_VA
L
U
E is not
a
modification acti
o
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next