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
math: prefer real absolutes
2017-05-04
Dan Carpent
e
r
math: pr
e
fer real absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpen
t
er
modifica
t
ion_hook
s
: use
lon
g
to short mappings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpente
r
r
e
turn_to_param: hand
l
e "r
e
turn get
_
fo
o
(bar
)
;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpe
n
ter
e
x
p
ression: fix expr_
g
et_paren
t
_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan
Carpenter
function
_
hooks: only
add co
m
parisons
w
hen
needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Ca
r
penter
flow:
f
ix some pa
r
e
n
t trans
i
tio
n
fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow:
set p
a
rent statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
core:
a
d
d
expr_
g
et/set_parent_st
m
t() acces
s
or
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
ow: create
a
n
acce
s
so
r
method
e
x
pr
_
get_paren
t
_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Ca
r
penter
flow: rename set_parent
_
stmt() =
>
s
t
mt_set_pa
r
ent_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() => ex
p
r_set_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Da
n
Car
p
enter
return_t
o
_pa
r
am: Us
e
the DB
ret
u
rn strings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smd
b
.
p
y
: translat
e
more pa
r
am
e
ter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
D
a
n
Carpen
t
er
s
mdb
.
py: guess th
e
paramet
e
r n
a
mes
e
v
en if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
pe
n
ter
smd
b
: d
o
n
't
crash if
t
he parame
t
e
r
names aren't known
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpen
t
er
flow: fix fake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Ca
r
penter
balanced: delet
e
thi
s
c
he
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carp
e
nter
fl
o
w: add init_fake_env
(
)
/
e
n
d
_f
a
k
e
_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carp
e
nter
s
t
ored_con
d
ition
s
: store
as expressi
o
n
pointers
i
n
stead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
D
a
n Carpente
r
flow, db: fix ho
w
inline fun
c
tion assignments are handl
e
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: re
m
ove some b
u
g
gy unused code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
enter
flow: fix
ini
t
i
a
li
z
ation
of
n
es
t
ed structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n
C
arpente
r
db: buil
d
an index o
n
th
e
par
a
me
t
er names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n
C
arpenter
math: improve MOD handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
test
_
kernel
.
sh:
a
d
d
config
options
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
M
akefi
l
e: Install scripts to /usr/share/smatch/smatch_
s
cr
i
pts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
mitry Mona
k
h
ov
Makefile: make install
prefix conf
i
g
u
ra
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
para
m
eter_names: store parameter n
a
mes in the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
Carpente
r
smdb
.
py: re
f
o
r
ma
t
call_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpent
e
r
M
a
kefile
:
use quiet link
t
o
l
i
nk sma
t
ch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: fix
h
an
d
ling switches i
n
side co
n
di
t
io
n
s (fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpe
n
ter
states:
split
up
d
ate_fake_str
e
e_wi
t
h_m
e
rge
d
() a
n
d add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
type_va
l
: small tw
e
ak for arrays and complic
a
ted lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arp
e
nter
e
x
t
ra: handl
e
ind
i
rection like "p = &f
o
o
;
*p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
an Carpenter
e
x
tra: handle
M
OD co
n
ditions li
k
e "if (a % 4)
{
"
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Car
p
e
nt
e
r
modific
a
tion_hooks:
remov
e
u
n
u
sed indirect modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan
C
ar
p
en
t
e
r
va
l
idation/skb3: delete some accidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Car
p
e
nter
user_da
t
a2:
don
'
t set pa
r
ameters to u
s
er_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2:
h
andle skb->da
t
a
m
at
h
a lit
t
le better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arp
e
nter
user_dat
a
2: re
-
w
ork handl
i
ng of s
k
b
-
>
data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
parse_ca
l
l_math:
w
ork around for
l
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
pen
t
er
leaks:
don'
t
complain i
f
we overwrite NULL poin
t
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
free: i
g
nore impossible
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carpenter
shift
_
to_zero: make the err
o
r
mes
s
age more i
n
formative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_bit
:
add test_
a
n
d
_cl
e
ar
_
bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
smdb
.
p
y
:
print t
h
e return_impl
i
es
v
a
lue
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
db/fixup_kernel
.
sh: ignore do_l
o
op_readv_writ
e
v()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
extra: set h
a
rd max i
f
a
func
t
ion is call
e
d with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
a
rpenter
ex
t
ra
:
f
ix handling of know
n
conditio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
param_l
i
mit: 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 slow d
o
w
ns splitti
n
g returns ap
a
rt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
db: set parse_e
r
ro
r
i
f the SQL fa
i
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan
C
arpen
t
er
p
a
ram_set:
h
andle if
t
he parent
w
as se
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpe
n
ter
buf_size: fix
t
y
pe_b
y
tes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan
Carpenter
db
:
fil
t
er
p
o
inter c
a
lls by
f
u
n
ction s
i
gnatures
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: rev
e
rt "
t
iny s
p
eed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
assign_vs_compare: warn about "if (foo = &bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
type: fix type_
b
its() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Car
p
e
n
t
e
r
shift_to_zero: do
a
small clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
smatch
.
c
:
re
m
ove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
db:
split return s
t
ates by null
v
s
non-n
u
ll parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpente
r
extra: filter PAR
A
M_VA
L
UEs with
b
oth extra and
r
eal_
a
b
so
l
ute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
math: han
d
le -foo b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carp
e
nt
e
r
helper:
i
ntroduce get struct and m
e
mber
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Car
p
enter
impl
i
ed: tiny s
p
e
e
d
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implie
d
: small c
l
eanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
t
e
r
r
a
n
ges: handle bitw
i
se
AND operations better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carp
e
nter
real_absolute: introduce get_real_
a
bsolute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
C
arpenter
avl: add
a
s
h
o
r
t
cut for
w
h
en there are no states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpen
t
e
r
type
_
val:
h
a
n
dle |= type assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
D
an Carpent
e
r
d
b:
r
ename
"
function_type_info" ta
b
le to
"
functi
o
n
_type"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
use
r
_data2: if a user_
d
ata is
e
qu
a
l
t
o
non-
u
s
e
r data
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpenter
pre-process:
t
ry
f
ind any include that look
s
like it
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
c
o
mparison:
r
emov
e
s
o
m
e local_debug infor
m
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
db/f
i
xup_
k
ernel
.
sh:
w
rite t
o
t
h
e temporary DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carpenter
extra:
f
i
x
t
ype issue
handlin
g
+
+
= and --= oper
a
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math:
rem
o
ve uncommitte
d
functio
n
call
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
er
math:
fix handl
i
ng of sizeof() __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
penter
math: handle real_ab
s
o
lute variables mo
r
e
accu
r
a
tely
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
r
e
al_absolute: ignore itera
t
o
r
p
re statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpent
e
r
hel
p
er:
I
n
expr
_
to_st
r
() remove extra pa
r
enthesis around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
ent
e
r
db: introduce
sql_insert_data_info_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
d
b
: us
e
"extern" instead of
t
h
e file na
m
e fo
r
gl
o
b
a
ls
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an
C
ar
p
ente
r
sparse
:
introduce pars
e
_
error varia
b
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Ca
r
pen
t
er
use
r
_data2: h
a
ndle
f
un
c
tions that merely r
e
turn
p
a
s
sed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan C
a
rpe
n
te
r
hooks:
introduce ASSIGNMENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n Carpenter
db:
g
i
v
e up
h
andlin
g
functio
n
p
ointers if there are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
use
r
_data2: remove some debug printfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2: don't set the functio
n
i
t
s
e
lf
to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpenter
user_data2:
i
mprove handling when we return use
r
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:
d
on't mar
k
it
a
s impossible if a func
t
io
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpenter
c
omparis
o
n: m
o
dif
y
the links at
at start of an as
s
ign
m
e
nt
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
d
b
:
c
leanup get_row_count(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
implied: rename a
function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carp
e
n
te
r
estate: a
d
d a
n
esta
t
e_is
_
empty() f
u
nction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
n
o
_
inline
:
d
o
n't
p
a
r
se the
bite swap fu
n
ctions
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
pe
n
t
er
kern
e
l: pars
e
ATOMIC
_
S
E
T
(
) manual
l
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
D
a
n Carpenter
db/kernel
.
return
_
fixes
:
add some
more fi
x
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db
/
f
i
xup
_
kernel
.
sh: hand
l
e
_
_ke
r
nel_write() a
bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
v
im_
d
b: hand
l
e older versio
n
s
of
v
im
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next