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
project: create a way to generate smatch_data for a new project
2017-05-10
Da
n
Carpenter
p
r
oject: create a
w
a
y to ge
n
erate smatch
_
dat
a
for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
core: impr
o
v
e
Function
t
oo
hairy calculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
pen
t
er
h
e
lper
:
don't crash
s
o much on in
v
ali
d
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpen
t
er
comparison: fix
some mem
o
ry leak
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
d
b/build_e
a
r
ly_index: build an
o
ther index on parameter_n
a
me
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/ker
n
el
.
retu
r
n_fixes:
a
tomic_read() returns
the
v
alue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
C
arpenter
d
e
bug
.
c: add some new (not
very useful)
featu
r
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
penter
buf_
c
omp
a
r
ison: fix
build an
d
a
dd make new code functional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
free:
fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carp
e
nter
err
_
p
t
r_der
e
f
:
ma
k
e err_ptr_min/
m
ax st
a
tic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
free: d
o
n't c
o
m
p
l
ain when pe
o
ple do fro
b
(&fr
e
e
d_
v
ariable)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpent
e
r
kernel_
p
r
i
ntf: fix %pG t
e
st
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
logical_instead_of_bitwise: silence some false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unused_ret:
make warning messages consi
s
tent wi
t
h everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
user_d
a
ta2:
t
ag al
l
union members a
s
u
n
trusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Ca
r
p
e
nter
user_data2: if user
s
can only specify a single value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
extra: use long to short m
a
p
p
ings
fo
r
PARAM_LIMIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
user_data2
:
h
a
ndle "if (untrusted !=
trus
t
ed) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
b
uf_comparison
:
clea
r
array <-> size links
better o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison: record if we pass an AR
R
AY_SIZE
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
r
e
turn_to_
p
aram
(
mappings)
:
map regular assignm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpe
n
t
e
r
use
r
_data2: handl
e
inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carp
e
nte
r
mat
h
: prefer real abso
l
utes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
mod
i
fication_
h
o
o
k
s
: use long to short map
p
ings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
re
t
urn_to_param: handle "
r
e
t
urn get_foo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan C
a
rpen
t
er
e
xpression
:
fix expr_get_parent
_
stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Ca
r
penter
function_hooks: only add
comp
a
ri
s
ons whe
n
ne
e
d
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
rpenter
flow: fix some parent transition fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
low: s
e
t p
a
rent stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpent
e
r
core: add expr_g
e
t
/
se
t
_pare
n
t_
s
tmt() acce
s
so
r
function
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: creat
e
an acce
s
sor method
e
xpr_get_
p
a
r
ent
_
expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
ow:
r
ename set_parent_stmt(
)
=> st
m
t_set_parent_stmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
flow: re
n
a
m
e
set
_
parent_expr() => ex
p
r_set_parent_ex
p
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan C
a
rpenter
r
eturn_to_param: U
s
e
t
he DB ret
u
rn
s
trings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
pente
r
smdb
.
py:
t
r
a
nslate more pa
r
a
meter
n
a
m
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: guess t
h
e para
m
eter names even if the file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpente
r
s
m
db:
d
on't
c
r
as
h
if t
h
e p
a
r
a
m
e
ter n
a
mes aren't kn
o
wn
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n
Carpenter
flow: fix fak
e
env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Carpent
e
r
b
a
lan
c
ed: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpenter
f
low: add init_fake
_
env(
)
/
e
nd_fa
k
e
_en
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
stored_condi
t
ions: st
o
re as
e
xpression pointers ins
t
ead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan C
a
r
penter
flow, db: fix ho
w
i
nline
functi
o
n assignm
e
nt
s
are ha
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: re
m
ove some buggy unuse
d
c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpent
e
r
flow: fi
x
initi
a
lizati
o
n o
f
nested s
t
ructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
db:
b
uild an index on
the p
a
rame
t
e
r n
a
m
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
m
a
th:
improv
e
MOD
handl
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
t
e
s
t_kernel
.
sh
:
a
d
d config options
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitr
y
Monakhov
Makefil
e
: Install scripts to /usr/share/smatch/
s
m
atch_scripts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Makef
i
le: make install prefix c
o
nfigu
r
able
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
parameter_names: store parame
t
er names in the
D
B
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py:
r
e
format call_
i
nfo
o
ut
p
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n C
a
rpenter
Makefil
e
:
use quiet
li
n
k to link
smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: fix handling
s
w
i
t
ches inside condi
t
ions (fake_cur_s
t
ree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
st
a
tes
:
split
up
d
ate_fake_s
t
r
e
e_wit
h
_merged() and ad
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
type_val: sma
l
l
t
w
e
ak f
o
r arrays and
c
omplicated lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: hand
l
e i
n
direc
t
ion like "
p
= &foo; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carp
e
nter
ext
r
a: handle MOD c
o
ndi
t
ions like "if (a %
4
) {"
b
etter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modificat
i
on_hooks
:
remove
u
nused
indirect modi
f
icatio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan Car
p
ente
r
validatio
n
/skb
3
: delete some acci
d
ental debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpenter
user_data
2
:
d
on't
set para
m
eters to us
e
r_da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpente
r
user_data2: hand
l
e s
k
b->data math a l
i
ttle better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
penter
user_da
t
a2
:
r
e-work h
a
ndlin
g
of skb->da
t
a
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
p
a
rse_call_
m
ath: w
o
rk a
r
ound for
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpenter
le
a
ks: do
n
't com
p
lain if we overwrite
N
U
L
L po
i
nters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
fre
e
: ignore impossible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpen
t
e
r
shift_to_
z
ero: make the error mes
s
age mo
r
e in
f
ormative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carp
e
nter
t
e
st_bit:
ad
d
t
e
st_and_clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
sm
d
b
.
py: print the return_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
d
b
/fixup_kernel
.
sh: ignor
e
do
_
loop_read
v
_write
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
ext
r
a: se
t
hard
m
a
x if a function is
c
alled with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
ar
p
enter
extra: fix
handling of known conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
pa
r
am_limit:
d
on'
t
set some
u
n
ch
a
ng
e
d
limit
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: prevent s
l
o
w
d
o
wns sp
l
itting
r
eturns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
db: s
e
t parse_error
i
f the S
Q
L fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Da
n
Car
p
ente
r
param_
s
et:
h
a
n
dl
e
if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan
Ca
r
penter
buf
_
size: fix
t
ype_bytes
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
d
b: filt
e
r
po
i
n
t
e
r
calls by funct
i
on signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpe
n
ter
impl
i
ed: reve
r
t "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpen
t
er
as
s
ig
n
_vs_compare: warn
about "if (foo = &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
e
nter
type: fix type_bi
t
s
(
) for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
shi
f
t_to_zero: do a
small clean
u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
smatch
.
c: remove a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
db: split
return state
s
b
y null vs non-null parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
penter
extr
a
: f
i
lter PARAM_VALUEs w
i
t
h
both extr
a
and real_abso
l
ute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpe
n
ter
math: handle -foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpenter
helper: intro
d
uce get struct and m
e
mber
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Car
p
ent
e
r
implied: t
i
ny
spee
d
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpente
r
im
p
lied: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
ranges: handle bitwise AND ope
r
ation
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
real_abs
o
lute: in
t
r
o
duce get_real_absolu
t
e_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpent
e
r
avl: ad
d
a short
cut for when there
are no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
type_val: han
d
l
e |= ty
p
e assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Ca
r
p
e
n
ter
db:
rename "functi
o
n_t
y
pe_info
"
table to "fu
n
ction_type"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
us
e
r
_
data2:
i
f
a
user_d
a
ta is equal to
n
o
n
-user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
Car
p
en
t
er
p
r
e-
p
ro
c
ess:
try find any
i
nc
l
ude that looks like it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
comparis
o
n
:
remove some
local
_
debug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b/fixup_kernel
.
sh: writ
e
to
the temporary DB i
n
s
t
e
a
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
enter
extra: fix
type
i
ssue hand
l
ing ++= and --= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
m
ath: r
e
move
u
n
c
ommitted function
c
all
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: fix
h
an
d
l
ing of sizeof() __
l
e16 ty
p
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next