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
user_data2: tag all union members as untrusted
2017-05-08
Dan
Car
p
ente
r
user_data2: tag all union mem
b
ers as u
n
trusted
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
use
r
_data2: if users
c
an only specify
a
single v
a
lue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
ar
p
ente
r
extra: use lo
n
g to short mapp
i
ngs for P
A
RAM_LI
M
IT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
user_data2: handle "i
f
(untrus
t
ed != trus
t
ed) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nter
b
uf_comparison: clear ar
r
a
y <-> size l
i
n
ks better on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_compa
r
iso
n
: record if w
e
pa
s
s
a
n ARR
A
Y_SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
return_to_param (m
a
ppings): map regular assignments
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
Carpent
e
r
user_data2: handle inlines bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
an
C
arpenter
ma
t
h:
prefer real ab
s
olute
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan
C
arpen
t
er
modific
a
tio
n
_hoo
k
s: use long to short mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
return_to_par
a
m: handle
"retur
n
get_foo
(
bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Ca
r
penter
expressio
n
: fix expr_g
e
t
_
par
e
n
t
_
stmt(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carp
e
nte
r
function_h
o
oks: only ad
d
comparis
o
ns when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n
Car
p
enter
f
l
ow:
fix
s
ome parent trans
i
tion
fallou
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: set
p
arent stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpenter
cor
e
:
a
dd e
x
pr_g
e
t/set
_
parent_stmt()
accessor functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
e
r
flow: crea
t
e a
n
acc
e
ssor method expr_get_parent_ex
p
r()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpe
n
ter
flow: ren
a
me set_pa
r
ent_stmt() => stmt_
s
et_pare
n
t_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow:
r
ename set
_
parent_expr() => expr
_
set_parent_
e
x
pr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n Carpente
r
re
t
urn_to_param
:
Us
e
the DB r
e
turn
s
t
rings like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan
C
arpenter
s
m
db
.
py: translate
m
ore
par
a
meter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpente
r
s
mdb
.
py:
g
u
ess the parameter n
a
mes even if t
h
e
file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpente
r
smdb: don
'
t crash i
f
the parameter
n
ames a
r
en't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carp
e
nt
e
r
flo
w
:
f
ix fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
ba
l
a
n
ced: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
f
l
ow: add init_fake_env()/end
_
f
ake_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
sto
r
ed
_
cond
i
tions: stor
e
as
e
xp
r
ession pointers instead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
D
an C
a
rp
e
nte
r
flow, d
b
: fi
x
how inlin
e
function assi
g
nments
are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpenter
fl
o
w: remove
so
m
e buggy unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
en
t
e
r
flow:
fix init
i
aliz
a
tion of nested structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan C
a
rpenter
db: build an ind
e
x on
the pa
r
amet
e
r names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
mat
h
: imp
r
ov
e
MOD hand
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
er
p
a
ra
m
ete
r
_n
a
mes
:
store paramet
e
r names
i
n
the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
a
r
p
e
nte
r
smdb
.
py:
reformat c
a
ll_info outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
Makefile: use quie
t
l
ink
to link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
C
arp
e
nter
states: fix handl
i
ng switches insid
e
conditions
(fake_cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states
:
split update_fake_stree_wi
t
h_merged()
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpen
t
e
r
type_val
:
small twe
a
k
f
o
r
arrays and c
o
mplica
t
e
d
l
v
alues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
extra: h
a
n
dle indi
r
ect
i
on
l
ike "p = &foo; *p = 42;
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Car
p
e
nter
extra: handle MOD conditions like "if (a %
4
)
{" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Carp
e
nter
m
o
dification_hooks: remove unused indirect modi
f
icati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
D
an
C
arpe
n
ter
va
l
idatio
n
/skb3: delete s
o
me acci
d
ental debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Car
p
ent
e
r
user_
d
ata2:
d
on't set
parameters to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Da
n
Car
p
enter
use
r
_data2:
handle s
k
b->d
a
t
a ma
t
h
a little b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
a
rpenter
user_data2: re-work han
d
lin
g
of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
parse_call_ma
t
h: work arou
n
d
for
l
oops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpen
t
er
leaks: don't compl
a
i
n i
f
w
e
overwrite NULL
p
o
inters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Ca
r
penter
free: ignor
e
i
m
p
o
s
sible code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Car
p
en
t
er
sh
i
f
t_t
o
_zero:
m
ake
t
he error messa
g
e more informative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
C
arpenter
test_bit: add test_and_clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
smdb
.
py: print the return
_
i
m
pl
i
es value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
db
/
fixu
p
_kernel
.
sh: ignore
d
o_loop_r
e
ad
v
_w
r
it
e
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
ext
r
a:
set hard ma
x
if a func
t
ion i
s
ca
l
led with
a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
ex
t
ra: fix hand
l
ing of known
conditio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
param_l
i
mit: don't set some unchanged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
db: p
r
event s
l
ow downs
s
plitting ret
u
rns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
p
enter
db: set p
a
r
s
e_error if the SQL f
a
ils
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Dan Ca
r
penter
para
m
_set: handle
if th
e
par
e
nt was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
bu
f
_size: fi
x
type_bytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Car
p
e
nter
db: filter
p
ointer calls b
y
f
u
nction
s
ig
n
atures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
i
m
pl
i
ed: revert "ti
n
y
speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
assign_
v
s_
c
ompare: warn
abo
u
t
"
i
f
(foo = &ba
r
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fix type_bi
t
s() for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
shift_to_zero: do a small clean u
p
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
s
match
.
c: remove a bl
a
nk line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db
:
sp
l
it return states
by null vs non-null
para
m
eter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
e
xtr
a
: filter
PARAM_VAL
U
E
s with
b
oth ext
r
a
and real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
m
ath: handle -foo bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carp
e
nter
helper: i
n
t
roduce get struct and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
implied: tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impl
i
ed: smal
l
cle
a
nup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
e
nter
range
s
: handle bitwis
e
AND
o
perat
i
ons better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carp
e
n
t
er
re
a
l_abso
l
ute
:
introduce get_real_absolute_var
_
sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
e
nte
r
avl: add
a short cut for w
h
e
n
t
h
e
r
e are no
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
t
y
p
e_val
:
handle |= type assi
g
nments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
C
a
rpenter
db
:
rename "function_type_info
"
table to "function_ty
p
e"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
u
s
er_data2: if a use
r
_data is equal
t
o non-user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Da
n
Carpent
e
r
pre-process:
tr
y
find any i
n
clu
d
e that lo
o
ks
like i
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carp
e
n
t
e
r
comparison:
r
em
o
ve some loca
l
_debug information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db/fixup_kernel
.
sh
:
writ
e
to the
temp
o
rary
D
B i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
a
rpenter
e
x
tra:
fix type issue handling ++= and -
-
= operations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
m
at
h
: rem
o
ve uncommit
t
ed function call
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
math
:
fix
h
a
n
d
ling of sizeof() __le16 types
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
m
a
t
h:
h
andle real_absolute variables more accurately
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
real_absol
u
te: ignore iterator pre statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
helper: In expr_to_str() r
e
move extra
p
a
renth
e
s
i
s
around
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db: introduce sql_ins
e
r
t_data_info_var_sym(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n
C
a
r
p
e
nt
e
r
db: use
"
e
xter
n
"
i
nst
e
ad of the file name
f
or globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
sp
a
rse: i
n
tro
d
uce par
s
e_e
r
ror variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_data2:
h
andle fun
c
tions
t
hat
mere
l
y
return
passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpente
r
hooks: introdu
c
e ASS
I
G
N
M
ENT
_
H
OO
K
_AFT
E
R
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n
Ca
r
penter
db
:
give up han
d
ling functi
o
n point
e
rs if there
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
C
arp
e
nter
u
ser_
d
a
ta2:
remove some debug printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
D
an C
a
r
p
e
nter
u
s
er_dat
a
2: don't s
e
t
the functi
o
n itself to user
_
d
a
ta
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: improve handling w
h
en we return use
r
data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Da
n
Carpenter
f
unc
t
ion_hooks: d
o
n
'
t mark
i
t as i
m
possible if a functio
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Car
p
enter
comparison: modify
t
he lin
k
s
at at start of an
a
s
signm
e
nt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
D
an Carpenter
db: cl
e
anup g
e
t_row_count(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
implied: r
e
name a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpenter
estate
:
add an e
s
tate
_
is_empty(
)
functio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next