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
function_hooks: fix up db_compare_callback()
2015-03-20
Dan C
a
rpente
r
function_ho
o
ks
:
f
i
x
u
p d
b
_c
o
mpare_callback()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
func
t
ion_
h
ooks,
debug: print im
p
ossible returns i
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
an Carpen
t
er
he
l
per: don't strip ca
s
ting
i
n
get_ar
r
a
y
_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpe
n
ter
links: export merge_link_
s
ta
t
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
h
e
lper: make expr_
t
o_str
(
) print f
o
r
ced casts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
type: m
a
ke type_to
_
s
t
r() return a snam
e
() b
u
ffer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
D
a
n
C
arp
e
nter
modification_hooks:
s
et a va
r
iab
l
e as modified when
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpent
e
r
u
s
e
r
_d
a
t
a2: tag it
if
a function sets pa
r
ame
t
ers to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
Carpe
n
ter
stack: cleanup a f
u
nction p
r
ototyp
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
deref_che
c
k:
igno
r
e a
r
r
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpent
e
r
type: make
s
val_ty
p
e_max() def
a
ult to "long lon
g
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpenter
typ
e
: don
'
t ret
u
rn S
Y
M
_NODE types
from ge
t
_
r
eal_b
a
se_type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carp
e
nter
side_effects: the
i
terate_all_k
i
nds() macro has side
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-15
Da
n
Carpent
e
r
unreac
h
able: don't complain about iterate_all
_
kinds()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-13
Dan Ca
r
pen
t
er
flow: fix
"foo +=
!
b
a
r;" a
s
sign
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-11
D
an
C
a
r
pente
r
lib
:
h
a
ndle -funsi
g
ned
-
c
h
ar
o
ption
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kerne
l
.
igno
r
e
_
side_effects: add some macros
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-10
D
a
n Carp
e
n
t
er
inde
n
ting: allow "
b
reak;
c
ase X
X
X:"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpe
n
ter
user_d
a
ta
2
: 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
D
a
n
Car
p
en
t
er
m
ath, rl: fix handi
n
g
di
v
ision involving negative
numbers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carpent
e
r
sval:
f
ix sva
l
_
b
ino
p
_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
prece
d
e
n
ce:
c
omplain about
"
foo << bar
- ba
z
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-04
Dan Ca
r
penter
flow: handle struct i
n
itializ
a
tion
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-03
D
an Carpenter
estate: add a
N
ULL c
h
eck
in estates_equi
v
(
)
commit
|
commitdiff
|
tree
2015-03-03
Dan Car
p
enter
param_used: store wh
e
n a parameter is used
s
o
we don
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Carpe
n
te
r
extra: ignore more _
_
in_fak
e
_
assi
g
n data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan Ca
r
p
e
nter
comparis
o
n: fix a c
r
ashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-03-02
Dan C
a
rpenter
type: add an expr_signed() function t
h
at matches expr_uns
i
g
ned()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
smdb
.
py: add function
s
to show functions
i
mpl
e
menting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpente
r
e
x
tra: handle tempo
r
ary shorth
a
n
d
p
o
i
nters better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
D
an Carpenter
d
ereferences_param
:
look
f
o
r poin
t
ers us
e
d
as an a
r
ray
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nt
e
r
c
h
eck_indenting: warn about
miss
i
ng
curly braces
a
nd
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Car
p
e
nter
p
a
ram_cleared: add
a co
m
men
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Dan Car
p
ente
r
v
a
lidati
o
n: correct some o
u
tput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskine
n
build: allow use
of PKG_CONFIG to override
pk
g
-confi
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan
Carpenter
d
b:
b
uil
d
in
d
exes faster
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpenter
slist: fix compile breakage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
D
an Carpenter
kerne
l
_printf: s
i
len
c
e some f
a
l
s
e
positive
s
usin
g
smat
c
h_str
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-23
Dan Car
p
ente
r
s
t
rings: record which strings are
bei
n
g used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
D
a
n Carpente
r
user_data2: turn on skb-
>
data tagging
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
db: rename FILTER_VALUE
,
LIMI
T
E
D
_VA
L
U
E
,
a
n
d
A
DD
E
D
_
VALUE
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpen
t
e
r
k
ernel_p
r
i
n
tf: s
i
le
n
ce
some "struct
s
ockad
d
r " false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-19
Dan
Carpenter
type
:
add
u
nions to typ
e
_to_str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
typ
e
_value:
s
p
e
ed up loadi
n
g
the database
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*
n
ew*
r
eturn_cast: comp
l
a
in
about return -EINV
A
L
in
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
e
r
forma
t
_string: delete t
h
is b
e
cause c
h
e
c
k_kernel
_
prin
t
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
penter
fu
n
ction
_
hooks
:
add so
m
e
d
e
bug output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: cleanu
p
db_pa
r
am_add_set()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Car
p
enter
e
x
t
ra:
s
eparate PARA
M
_
LI
M
IT
and PARAM_
F
ILTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
function
_
hooks: don'
t
t
a
ke
a shortcut for "needless
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
te
r
helpe
r
:
intr
o
duce alloc_state
_
str()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: handle "i
f
(
l
ikely
(
1)) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Ca
r
penter
math: fi
x
/cleanup d
o
_co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpenter
capped: d
o
n't
record sing
l
e values as capped in th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: exp
o
rt
g
et_static_fi
l
te
r
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpe
n
ter
use
r
_data2
:
wrong parameter
tagged as us
e
r data i
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
r
o
senberg:
d
e
lete s
o
me code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Ca
r
p
e
nter
rosenberg:
strip away so
m
e casting (elimin
a
tes
a
false
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
rosenberg: do
n
't save unn
e
eded
s
tates
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
C
arpenter
b
uf_size
:
d
o
n
'
t save usel
e
ss information in the datab
a
se
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpenter
str
u
ct_assignm
e
nt: ignore more
fake assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
slist
:
fix debugging out
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
pa
r
a
m_cleared, rosenberg
:
add undersc
o
red memse
t
/cpy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan
C
arpen
t
er
param_filter/set: don't record
fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carp
e
nter
s
l
i
st, de
b
ugging: d
o
n't print ->possibl
e
list if th
e
re
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpenter
type_val: add more s
t
uff to i
g
nore
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-16
Dan Ca
r
pente
r
db/reload_partial
.
sh: change d
a
ta
b
as
e
info
f
or 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
Dan Car
p
ente
r
kernel_printf:
p
u
t
lots of s
i
ngle q
u
otes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-13
Dan Car
p
ent
e
r
Merge branch 'devel3'
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Rasmus Villemoes
chec
k
_kernel_printf
.
c:
Allow const char[] format
arguments
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villemoes
c
h
ec
k
_ke
r
nel_printf
.
c: Handle 'fmt ?
:
"
d
efault"'
commit
|
commitdiff
|
tree
2015-02-12
R
asmus Vi
l
lemoes
check_kernel_p
r
intf
.
c: Si
m
p
l
ify
r
e
cursive callin
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Ca
r
pent
e
r
check_kernel_p
r
intf
.
c: Simplify recursive calling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
C
arpen
t
er
kernel_prin
t
f:
a
llow '\
b
' if it's the first character
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpe
n
te
r
validation
/
sm_rosenberg
.
c: don't pass
a
n
u
ninitialized
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan
Carpenter
kernel_pri
n
tf: ad
d
some mor
e
quotes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
ker
n
el_printf: mo
v
e
a war
n
ing
under the --spam
m
y flag
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
k
e
rnel_
p
rintf: ad
d
some quotes around the functi
o
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpent
e
r
kerne_p
r
intf: '%
p
b
' is
v
alid
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Vi
l
l
emoes
ch
e
ck_kernel
_
pri
n
tf
.
c: Fi
x
braino
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
V
il
l
emoes
check_kernel_printf
.
c:
S
trip parenthes
e
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
l
l
emoe
s
che
c
k_kernel_printf
.
c: Ha
n
dle cond
i
t
i
o
n
als
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vil
l
em
o
e
s
smatch: Check the kernel's %p
format ex
t
e
n
s
i
ons
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villem
o
es
smatch: Add
-
-e
n
able op
t
ion
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
smatch: Implement --show-checks
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villem
o
es
s
match: Ad
d
dummy e
l
ement
t
o reg_funcs
commit
|
commitdiff
|
tree
2015-02-11
Luc Va
n
O
o
stenryc
k
Avoid
reuse of string buffer when con
c
atening a
d
jacent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
D
a
n Carpe
n
ter
wrong_size
_
arg: wa
r
n about "i
f
(memcmp(foo, bar, size
o
f
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpente
r
struct_
a
ssi
g
nment:
r
emove a bla
n
k line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Car
p
enter
sval: handle
LEFTSH
I
FTs
in sva
l
_binop_overflows()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arp
e
n
t
er
sval: cast the result in sval_binop()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
y
pe_val: update to
h
andle
P
ARAM_SET
from th
e
d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Ca
r
penter
type_val
:
ignore kmall
o
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carp
e
nter
type_val: ignore a
l
l the "fo
r
_each" macr
o
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-30
Dan
C
arpent
e
r
user_d
a
ta2: remove so
m
e
d
eb
u
g
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpenter
helpe
r
:
i
n
t
roduce i
n
vert_op()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan C
a
rpenter
rang
e
s: break the range list parsing
i
n
to a separate
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan Carpenter
ranges: prepare to change a
string to a
n
estat
e
instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
arpen
t
er
modification_hooks: add PA
R
AM_SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next