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
helper: make expr_to_str() print forced casts
2015-03-20
Dan Carp
e
nter
helper: make ex
p
r_to_st
r
() print forced ca
s
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan
Carpenter
t
y
pe: m
a
ke typ
e
_to
_
s
tr() retur
n
a
sna
m
e
(
) buffer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
modification_hooks: set a variable as
m
odi
f
ied when
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Da
n
C
a
rpenter
user_data2: tag i
t
if a fu
n
cti
o
n
s
e
t
s
parameters to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
D
an C
a
rpen
t
e
r
stack: cleanup a function
prototype
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-20
Dan Carpenter
de
r
ef_check: ignore arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan Carpen
t
er
type:
m
ake sval_type_max() defaul
t
to "long long"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-18
Dan
C
a
rpenter
typ
e
: don't retu
r
n SYM
_
NODE types
f
rom g
e
t
_
real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan
C
arpent
e
r
s
i
de_effe
c
ts:
the it
e
ra
t
e_all_kinds() macro has
side
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-15
Dan Carpenter
unreac
h
able: do
n
't
complain ab
o
ut iterate_all_kin
d
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-13
Dan
Carpenter
f
low: fix "
f
oo +=
!
bar;" assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-11
Dan Car
p
e
n
t
e
r
lib: hand
l
e -f
u
nsigned-ch
a
r option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpenter
kernel
.
i
g
nore_
s
ide_effects: add s
o
me macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-10
Dan Carpe
n
ter
indent
i
ng: allow "break; case XXX:
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
user_data2: mark sscanf()
o
u
t
p
u
t as user data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan Carp
e
nter
math, rl: fix h
a
ndin
g
di
v
isi
o
n inv
o
lvin
g
ne
g
ative numbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arpenter
sval: fix sval_b
i
n
o
p_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-05
Dan
C
arp
e
n
t
er
prece
d
e
nce: comp
l
ain about "foo
<
< bar - baz
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-04
Dan
C
a
r
p
enter
f
l
o
w: handle
s
truct initializati
o
n be
t
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-03
Dan C
a
r
penter
estate: ad
d
a NULL check
in
e
states_equiv()
commit
|
commitdiff
|
tree
2015-03-03
Da
n
Carpenter
par
a
m_use
d
: store when a parameter is used
so we don
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan Car
p
e
nter
extra: ig
n
ore more __in
_
fake_assign data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
D
an
Carpe
n
ter
comparison: f
i
x a c
r
ashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-03-02
Dan
Carpenter
type: add an expr_si
g
ned() func
t
i
on
t
hat m
a
tches
e
x
p
r_uns
i
gned()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Da
n
C
a
rpenter
s
m
db
.
py: add func
t
ions to show
functions
i
m
plem
e
ntin
g
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
D
a
n Carpe
n
ter
ex
t
ra: handle te
m
porary s
h
orthand pointers bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carpenter
derefer
e
n
c
e
s
_param: look
for pointers used a
s
an array
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-26
Dan Carp
e
nter
chec
k
_i
n
d
en
t
ing: warn abou
t
missi
n
g
c
url
y
brace
s
and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Dan
Carpen
t
er
pa
r
am_cleared: add a comment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
D
a
n Carpenter
validation: correct some output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-24
Aaro Koskinen
build: allow use o
f
PKG_CONFIG to
o
ve
r
ri
d
e pkg-config
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpente
r
db: build
i
nd
e
x
es faster
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
Dan Carpent
e
r
slist: f
i
x
co
m
pile breakage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
C
a
r
pent
e
r
kern
e
l_p
r
i
n
t
f: silen
c
e
so
m
e fa
l
se pos
i
ti
v
es using sma
t
ch_
s
tr
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-23
D
a
n
C
a
r
penter
strings: r
e
cord which string
s
are bei
n
g used
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan C
a
rpent
e
r
user_
d
ata2: tu
r
n on skb->data
tagg
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpe
n
ter
d
b: rename FILTER_VALUE, LI
M
ITE
D
_VALUE,
a
nd ADDED_
V
ALU
E
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
D
an
Carpenter
kerne
l
_printf
:
si
l
ence some "struct soc
k
addr " fa
l
se
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-19
Dan Carpenter
type: add unions to type_to_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
D
a
n Carpenter
typ
e
_value: speed up loading the database
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-18
Dan Carpenter
*new* r
e
turn_cast: complain ab
o
ut
re
t
ur
n
-EINVAL in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan C
a
rpente
r
format_string
:
d
e
lete t
h
is be
c
ause ch
e
ck_kernel_printf
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n
Carpenter
function_hooks
:
add some debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
e
x
tra: cl
e
a
nup
d
b_p
a
r
a
m_add_set
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
extra: separate PARAM_LIMIT
a
nd PARAM_FIL
T
ER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpent
e
r
f
u
nction_hooks: don't t
a
ke a s
h
ortcut fo
r
"needless
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
helper:
intro
d
uce alloc_stat
e
_str()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
math: h
a
ndle "if (likel
y
(
1)) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
ma
t
h: fix/cleanup do_com
p
arison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
cap
p
ed:
d
on't re
c
or
d
si
n
gle values
as capped i
n
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpenter
db: ex
p
ort get_stati
c
_filt
e
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nter
user_data2:
wrong
par
a
met
e
r t
a
g
g
ed
a
s
u
ser da
t
a in
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan
C
arpen
t
er
rose
n
b
e
r
g
: de
l
ete some code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
an C
a
rpenter
rose
n
berg: strip away some c
a
stin
g
(eliminat
e
s
a false
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carp
e
nte
r
rosenberg: don't save unneeded
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Da
n
Carpenter
b
uf_
s
ize:
don'
t
s
ave useless information in
th
e
databa
s
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
D
a
n Carpente
r
struct_assignment: ignore more fake assignment
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-17
Dan Carpen
t
er
s
l
ist: fix d
e
bugging ou
t
put
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
C
a
rpen
t
er
p
a
ram_cl
e
ared, rosenberg: add under
s
cored memse
t
/cp
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Da
n
Carpenter
param_fil
t
er
/
set: d
o
n't r
e
cord fake assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n Carpenter
s
l
ist, debugging: don
'
t print ->possi
b
le list if there
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
D
a
n
C
arpenter
type_val: a
d
d more stuff to ignor
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Dan Carpente
r
db/reload_parti
a
l
.
sh: cha
n
ge d
a
tabas
e
info for o
n
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-16
Silvan Jege
n
Docu
m
entati
o
n fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan C
a
rpenter
ke
r
nel_printf:
put lots of single quo
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-13
Dan Carpenter
Merg
e
b
r
anch 'devel3'
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villemoes
c
heck
_
kernel_printf
.
c: Allow const char
[
] format argume
n
ts
commit
|
commitdiff
|
tree
2015-02-12
Ras
m
us Villemoes
ch
e
ck_kernel
_
print
f
.
c
:
Handle 'fmt ? :
"default"
'
commit
|
commitdiff
|
tree
2015-02-12
R
a
smus Villemoes
c
h
eck_kernel_
p
rintf
.
c:
S
im
p
lify
r
ecursive calling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpente
r
check_kernel_printf
.
c: Simplif
y
recursive call
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
k
ern
e
l_prin
t
f: allow
'\b' if it's t
h
e first char
a
c
t
er
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Car
p
en
t
er
v
alidation/
s
m_rosenbe
r
g
.
c: don't pass an unini
t
ializ
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kerne
l
_printf: ad
d
s
ome mo
r
e qu
o
tes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_printf: move a warning under the --sp
a
mm
y
f
lag
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
Dan Carpenter
kernel_prin
t
f:
a
dd some quotes around t
h
e functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-12
D
an Carpenter
kern
e
_printf: '%pb
'
is valid
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-02-11
R
as
m
us Vil
l
emoes
c
hec
k
_kerne
l
_pri
n
tf
.
c: Fix
brain
o
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Vil
l
e
moes
check
_
kernel_printf
.
c: Strip parentheses
commit
|
commitdiff
|
tree
2015-02-11
Rasmus
Villemoes
check_k
e
rnel_printf
.
c:
H
andle conditionals
commit
|
commitdiff
|
tree
2015-02-11
Ras
m
us Villemoe
s
s
m
a
t
c
h
:
C
heck the kernel's
%p format extension
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus V
i
llem
o
es
smatch
:
Add --enable option
commit
|
commitdiff
|
tree
2015-02-11
R
a
smu
s
Vill
e
m
o
e
s
s
m
a
t
ch: Implement --show-chec
k
s
commit
|
commitdiff
|
tree
2015-02-11
Rasmus Villemoes
s
match: Add dummy element
to reg_fun
c
s
commit
|
commitdiff
|
tree
2015-02-11
Luc Van O
o
s
t
e
nryck
Avoid reu
s
e of str
i
ng bu
f
fer w
h
en co
n
catening adja
c
ent
.
.
.
commit
|
commitdiff
|
tree
2015-02-11
Dan Carpenter
wrong_si
z
e_ar
g
: war
n
about "if (m
e
mc
m
p(foo, bar, sizeof
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan
Carpente
r
struct_assignment: remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n
Carpen
t
er
sval: handle LEFTSHI
F
Ts in sval_bin
o
p_overflows()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n
C
a
r
penter
s
v
al: cast the result in sv
a
l_binop()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
type_va
l
: update to
han
d
le PARAM_SET from the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
D
a
n Carpenter
type_v
a
l
:
ignor
e
kmalloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Dan Carpenter
t
y
pe_
v
al: ig
n
ore all t
h
e "for_each" macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-30
Da
n
Carpenter
user_
d
a
ta2: remove s
o
me de
b
ug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-29
Dan Carpen
t
er
helper: introdu
c
e
i
nv
e
rt_op()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
D
a
n Ca
r
penter
ranges: break the
r
ange lis
t
parsing int
o
a
se
p
arate
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan Ca
r
penter
ranges: prepare to cha
n
ge
a
st
r
i
n
g to an e
s
tate instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-22
Dan
C
arpe
n
ter
mo
d
ification_h
o
oks: add
P
A
R
A
M_SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
Dan Carpe
n
ter
param_cleared: clearin
g
a member is not clearing a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-21
D
an Carpente
r
type_va
l
: ignore fake member
assignments from uncasted
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan Ca
r
pen
t
e
r
typ
e
_value: li
s
t_entry is safe as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2015-01-19
Dan
C
a
rpenter
db
:
use saved return
estate ins
t
ead o
f
s
e
arching the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next