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
logical_instead_of_bitwise: silence some false positives
2017-05-08
Dan Carpent
e
r
l
o
g
ical_in
s
t
e
ad
_
of_bitwis
e
:
silen
c
e
some false posi
t
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unused_r
e
t
:
make w
a
rning messag
e
s
c
onsistent wit
h
everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
use
r
_data2: tag a
l
l
un
i
on member
s
as untrusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpent
e
r
user
_
data2: if users
c
an only specif
y
a si
n
g
l
e value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
e
x
tra: use long to
s
hort mappings
f
or
PARAM_L
I
MIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
us
e
r_data2: handle "if (untrusted !=
t
r
usted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpen
t
e
r
b
uf_com
p
arison: clear arr
a
y <-> size links bette
r
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
r
p
e
n
ter
buf_compa
r
i
s
on: record i
f
we pas
s
an ARRAY
_
SIZ
E
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
return_to
_
pa
r
am (mapping
s
): map regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
user_data2: han
d
le inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
math: prefer
r
e
a
l absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
n
t
e
r
modification_ho
o
ks:
u
s
e
l
ong to short
m
a
p
pings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
n
ter
r
e
t
urn_to_param
:
h
andle "r
e
turn get_
f
oo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expression:
fix expr_get_paren
t
_
s
tmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
a
n
C
arpenter
function_hooks
:
only add compari
s
ons when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
pen
t
er
flo
w
: fix some paren
t
t
ransition fallou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow
:
set parent statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
penter
core: add
exp
r
_get/set_par
e
nt_stm
t
() ac
c
e
s
sor functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: c
r
eate an accessor method
expr_get_p
a
rent_expr(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
flo
w
: rename
s
et_parent_stmt() => stmt_set_parent_stmt
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: rename set_parent_expr
(
)
=
> expr_
s
et_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Carpenter
r
e
turn_
t
o
_
p
ar
a
m:
Use
the
D
B return
strin
g
s like "
[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
smdb
.
py: trans
l
ate more parameter name
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: g
u
ess t
h
e pa
r
ameter na
m
es eve
n
if the
file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: don'
t
cra
s
h if the pa
r
a
m
ete
r
names a
r
en't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpente
r
flow: fix
f
ake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpent
e
r
balance
d
:
d
elete
this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Ca
r
pent
e
r
flow
:
add init_fake
_
env
(
)
/
end_fake_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpen
t
e
r
stor
e
d_conditions: store as expression
p
oi
n
ters in
s
tead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpen
t
er
flow, db: fix how inline
fu
n
ct
i
on assign
m
ents a
r
e
h
andled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n C
a
rpe
n
t
e
r
flow:
remove
s
o
me buggy u
n
used code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: fix
initialization of ne
s
ted structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpe
n
ter
d
b
: buil
d
an index on the
p
a
r
am
e
ter na
m
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carp
e
n
t
e
r
math: improve MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pen
t
e
r
p
a
ramete
r
_names:
sto
r
e parame
t
er names
in the
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
er
sm
d
b
.
p
y: reformat call_info output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
Make
f
ile:
u
se quiet l
i
nk t
o
link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpente
r
s
tat
e
s: fi
x
han
d
l
ing
switches ins
i
d
e condi
t
ions (fake_cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carp
e
nt
e
r
st
a
tes: s
p
lit update_fake_stree_with
_
mer
g
ed
(
) an
d
add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpenter
t
yp
e
_va
l
: small tw
e
ak f
o
r arrays
a
nd comp
l
icated lva
l
ue
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra
:
handle indirection li
k
e "
p
=
&foo; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Car
p
en
t
e
r
e
x
t
r
a
: hand
l
e MOD conditions lik
e
"
if (a %
4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carp
e
nter
modification_hooks: re
m
ove unu
s
ed
i
ndirect modific
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
D
a
n
Carpenter
validation/skb3
:
delete
s
ome accidental debug c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_
d
ata2:
don't set parameters to
u
s
er_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arpenter
user_dat
a
2: ha
n
dle skb->
d
ata
m
ath a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Carpenter
use
r
_data
2
:
re-work
h
andling of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
parse_c
a
ll_math: work
around for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
le
a
ks:
don't
c
omplain if we o
v
erw
r
ite N
U
LL p
o
int
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
free: ignore impossible
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
sh
i
f
t
_
t
o_ze
r
o: make the e
r
ror message
m
ore informat
i
ve
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpe
n
ter
t
est
_
bit: add te
s
t
_
and_clear_bi
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
s
m
db
.
py: print the re
t
urn_impli
e
s value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
db/fixup_kernel
.
sh: ignor
e
d
o
_lo
o
p_readv_
w
r
i
tev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extr
a
: set hard m
a
x if a function
is called with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
e
x
tra: fix handling of
k
nown conditions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
para
m
_limit: do
n
't set some u
n
changed limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: prevent s
l
ow
downs spli
t
ting
r
et
u
rns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carp
e
nter
db:
set parse_error if the
S
QL fail
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpent
e
r
param_set:
handle if
the
p
arent wa
s
set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
b
u
f_s
i
ze: fix type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Da
n
Carpent
e
r
d
b
: filter
p
ointer calls by
function signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpe
n
t
e
r
implied: r
e
v
ert "tiny spee
d
up
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
assign_vs_comp
a
re: warn abo
u
t "if (foo = &b
a
r
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
Carpenter
type: fix type_b
i
ts() for a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
ter
shift_to_zer
o
:
d
o
a
s
mall cle
a
n up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
a
r
penter
s
matc
h
.
c: remove a blank l
i
ne
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
db: split
r
et
u
rn stat
e
s b
y
nu
l
l vs
n
on-null param
e
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
enter
extra: filter PARAM_VALUEs w
i
th b
o
t
h
extra and real_abso
l
ut
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
penter
math:
h
andle -foo bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
helper: introduce
g
et struc
t
and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
implied: ti
n
y spe
e
d up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
implied: small c
l
e
anup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
rpenter
rang
e
s: handle bitwise AN
D
operati
o
ns better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
r
p
enter
real_absolute: in
t
roduce get_real_absolute_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
avl: add a
s
h
o
rt c
u
t
for
when ther
e
a
re no states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type_val:
h
andle |= type assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Dan Carpente
r
db
:
rename "func
t
ion_type_info" table to
"functio
n
_
t
y
p
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
u
s
e
r_data2:
i
f a user_data is equal to no
n
-u
s
e
r
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
p
r
e-process: try f
i
nd a
n
y
i
nclude that looks
l
i
k
e it
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Car
p
ente
r
c
o
m
parison: remo
v
e some local_debug infor
m
ation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db/fixup
_
kernel
.
sh: wr
i
te
to the temporary DB instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
extr
a
: fix
type
i
ss
u
e hand
l
ing ++= a
n
d --= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
math: r
e
move unc
o
m
mitted func
t
io
n
call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpenter
math: fix handling of sizeof
(
)
__
l
e
1
6 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
h
a
ndl
e
r
e
a
l
_absolute variables
more
accuratel
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpe
n
ter
real_abso
l
ute: ign
o
r
e iterato
r
pre statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpen
t
e
r
helpe
r
: In expr_to_str
(
) re
m
ove extra pa
r
e
n
t
hesis a
r
ou
n
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
ar
p
enter
d
b: int
r
oduce s
q
l_insert_data_info_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpe
n
t
er
db: use "extern
"
ins
t
ead
o
f the file name for globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: introduc
e
p
a
r
s
e_er
r
or variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carp
e
nter
user
_
data2
:
han
d
le functions that merel
y
r
e
tu
r
n p
a
s
sed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpenter
hooks: intro
d
uce ASSIGNMENT_HOOK_AF
T
ER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
a
rpente
r
d
b
: g
i
ve
up
h
andl
i
ng function pointers if
t
h
e
re are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: remove some debug printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arpent
e
r
user_data2: don't set
t
he
f
unct
i
on itself t
o
use
r
_
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data
2
: improve h
a
ndl
i
ng when we ret
u
rn user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan C
a
rpenter
f
uncti
o
n_hooks: don't mark it as impossible if a funct
i
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan
Carpenter
comparison: modif
y
the link
s
at at st
a
rt of an
assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Ca
r
pen
t
er
db: cleanup get_row_
c
ount()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next