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
D
a
n Carpenter
project: create a
w
ay to ge
n
erate smatch_da
t
a
for a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
ter
c
o
re:
i
mprove Functio
n
to
o
hairy calcula
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
helper
:
do
n
't crash so muc
h
on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
comparison:
fix some
memory leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
d
b/build_early_ind
e
x: build another index on parameter_n
a
me
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
d
b
/kernel
.
return_fixes: atomic_read
(
) re
t
u
r
n
s
the v
a
lue
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
d
e
b
u
g
.
c: add some new (not v
e
ry use
f
ul)
features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
buf_compa
r
ison
:
f
i
x b
u
i
ld and
a
dd
make n
e
w code
f
u
n
ctional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
free: fi
x
build e
r
r
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
C
arpen
t
e
r
e
r
r
_ptr_der
e
f
: make err_p
t
r_min/m
a
x sta
t
i
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
fr
e
e:
don't complain
w
hen people do f
r
ob(&freed_variable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
kerne
l
_p
r
intf: fix %pG test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
logical_ins
t
ead_of_bitwise: sil
e
n
ce
some false positi
v
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpen
t
er
un
u
s
e
d_ret: mak
e
warning messages consi
s
tent with
e
veryone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
er_data2: tag all unio
n
members
a
s untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
user_data2: if users can only specify a
single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
extra: us
e
lo
n
g to s
h
ort m
a
pping
s
for P
A
RAM_LIMI
T
a
n
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
er_data2: handle "if (untrusted != trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
r
penter
buf_comparison: clear array <-
>
s
ize
l
inks bette
r
on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Ca
r
penter
b
uf_co
m
pariso
n
: reco
r
d if we pas
s
an ARRAY_SIZE to
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
return_to_
p
a
ram (map
p
in
g
s): map
regular assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
penter
u
ser_data2: handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
mat
h
: prefer
real absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
modification
_
hooks: us
e
l
ong to
s
hort mappings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
retu
r
n_
t
o
_param: handle "r
e
turn
ge
t
_foo(b
a
r);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expression: fix e
x
pr_get_par
e
nt_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
function_
h
ooks: onl
y
add comparisons when needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
flow: fi
x
some parent transition fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
t
er
flow: set parent st
a
tements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
core: add expr
_
ge
t
/set_pa
r
ent
_
s
t
mt() accessor
f
unction
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
f
l
ow: create a
n
accesso
r
method
expr_get_par
e
nt
_
expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
er
flow: re
n
ame s
e
t_parent_stmt() => stmt_se
t
_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpen
t
e
r
f
low: rename set_
p
arent_expr() => expr_s
e
t
_
parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
return_to_pa
r
am: Use the
D
B re
t
urn st
r
i
n
g
s like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
Carpen
t
er
smdb
.
p
y
: translate more parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
p
e
n
t
er
smd
b
.
py
:
guess the
parameter
n
ames
ev
e
n if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
an Carpent
e
r
s
mdb: don't cr
a
sh
i
f
the para
m
e
ter
n
a
m
es aren't known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
f
low: fix
f
ake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpent
e
r
bala
n
ced: delete this check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
fl
o
w: add ini
t
_fake_env()/end_fake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
an
Carp
e
nter
stored_cond
i
tions: store
as expression pointers inst
e
ad
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow, db: fi
x
how inline fun
c
tion ass
i
gnments are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
Ca
r
penter
flow: remo
v
e
some buggy un
u
sed c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpent
e
r
flow: f
i
x initializat
i
on o
f
nested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpe
n
ter
db: build an
i
ndex on the pa
r
ame
t
er n
a
m
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
a
rpenter
math: improve
M
OD h
a
ndli
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
m
it
r
y Monakh
o
v
test_kernel
.
sh: add config optio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
Mak
e
file: Instal
l
scr
i
pts to /usr/share/smatch/smatch
_
scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry
M
onakhov
M
akefile: m
a
ke instal
l
prefix con
f
igurable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
parameter_names: stor
e
parame
t
er names in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
r
penter
smdb
.
py: refo
r
mat
call_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
p
enter
M
akef
i
le: u
s
e
quiet li
n
k to link smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
sta
t
es: fix handling switches inside conditi
o
n
s (fake_cur_st
r
e
e
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
s
ta
t
e
s
:
s
plit update_fake_s
t
ree_w
i
th_merg
e
d
(
)
a
nd add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
type
_
v
a
l
: small
twe
a
k
fo
r
ar
r
ays and com
p
licate
d
l
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
extra: handle indirectio
n
li
k
e "p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
Carp
e
nter
extra: handle M
O
D c
o
nditions
l
i
k
e "if
(a % 4) {" bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan
C
arpenter
modi
f
i
cat
i
on_hooks: r
e
move unuse
d
indirect modifica
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Da
n
Carpenter
valid
a
t
i
o
n
/skb3:
delete some accidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carpenter
use
r
_
d
a
t
a2:
d
on't se
t
parameters to use
r
_d
a
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpe
n
ter
user_data2: han
d
le skb
-
>data math a litt
l
e better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpen
t
er
u
ser_
d
ata2: re-work handlin
g
of skb->dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
parse_call_ma
t
h: work
a
r
o
und for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpent
e
r
leaks: d
o
n't co
m
plai
n
if we overwrite NUL
L
point
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
f
r
e
e
: ign
o
re impossible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nte
r
shift_to_zero: make the error m
e
ssage mo
r
e
inf
o
rmative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
test_b
i
t: add
test_and_clear_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpen
t
er
smdb
.
p
y: print the
r
eturn_i
m
plies
v
al
u
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db
/
f
i
xup_k
e
rnel
.
sh: igno
r
e do_loop_readv_wri
t
e
v
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
e
x
tra:
s
e
t
h
ard max if a
f
unc
t
i
o
n
is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Ca
r
penter
extra: fix han
d
ling
of known conditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
para
m
_limit
:
d
on
'
t set some unchang
e
d
l
imits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
en
t
e
r
db: prevent slow downs splitt
i
ng retu
r
ns
a
part
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
db: se
t
parse
_
e
r
r
or
if the SQ
L
fails
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpen
t
er
param_set: h
a
n
dle if th
e
parent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
b
u
f_si
z
e
:
fix
t
ype_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Car
p
ente
r
db: filter
p
o
i
nter c
a
lls
b
y function sig
n
atures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
im
p
li
e
d: revert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
p
e
n
t
er
assign_v
s
_compare: warn ab
o
ut "if
(foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
type:
fix type_bits() for ar
r
ays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
sh
i
ft_t
o
_
z
ero: do a small cl
e
an up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
s
matc
h
.
c
: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpenter
db:
s
plit return states
by
n
u
l
l
v
s
no
n
-n
u
ll par
a
meter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpe
n
ter
extra:
f
i
lt
e
r
PARAM_VA
L
UEs with
b
oth
e
xtra and real
_
ab
s
olu
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
m
ath: handle -foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
hel
p
er: introduce
g
et struct and me
m
ber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
imp
l
ied
:
tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
implied: small cleanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nte
r
ranges: handle
bitwise A
N
D
opera
t
ions better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
real_abso
l
ute: introdu
c
e get_real_absolut
e
_va
r
_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpenter
avl: add a short cut
f
or when the
r
e are no st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
type_val: hand
l
e |= ty
p
e
assignment
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Dan
C
arpenter
db: rename "functio
n
_type_in
f
o
"
table to "func
t
ion
_
type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
use
r
_da
t
a
2
: if a user_data is equal t
o
n
on-user data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpen
t
er
pre-
p
rocess: try find a
n
y i
n
clude that l
o
oks like
it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
comparison: remove some local_de
b
ug info
r
mation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpente
r
db/fixup_kernel
.
sh: write to the tempora
r
y DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
extra:
f
ix typ
e
issue handling ++= a
n
d --=
opera
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
math: remove uncommitted functi
o
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
math
:
fix handling of s
i
zeof() __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next