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
slist: reverse the slist order in a way that no one will ever notice or care about
2017-05-17
Dan Carpent
e
r
s
l
ist: revers
e
t
he slist order in a wa
y
t
hat no one
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
extr
a
: m
a
ke set_extra_mod_
h
elper() void and sta
t
ic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
D
an
C
arpenter
ex
t
ra: make set_extra
_
m
od() a void function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan
Carpenter
ex
t
ra: make set_ext
r
a_
e
xpr_mod(
)
a void function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpent
e
r
generic_dat
a
: fix
up some project related th
i
n
gs f
o
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
D
a
n Carpenter
smdb
.
py: fix summary
(it was totally
b
roken before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
D
an
C
arpenter
li
n
ks, var_sym: allo
c
ate f
e
wer states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Car
p
enter
m
o
di
f
ica
t
ion
_
hoo
k
s: don'
t
sa
v
e so much dat
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Ca
r
penter
return_to_para
m
: don't modify memory on
the stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpent
e
r
extra: handle intege
r
overflows better for "int_f
o
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
an Ca
r
pen
t
er
build_generic_d
a
ta: sev
e
r
al improvements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carp
e
nter
t
est_gener
i
c
.
sh: like tes
t
_kern
e
l
.
sh bu
t
for generic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Car
p
enter
gene
r
ic_
d
ata: re
n
ame to match build_kernel_data
.
s
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
pen
t
er
generic_info:
allow
peop
l
e to
build a
s
pecific di
r
ecto
r
y
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreac
h
able:
don
'
t complain about s
t
ati
c
declarat
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
p
e
nter
index_ov
e
r
f
low:
s
ilence some glibc false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpenter
project: crea
t
e a way to
generat
e
sma
t
c
h
_
da
t
a for
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
ter
core: improve F
u
nction too hairy calculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
helper
:
d
o
n't crash
so mu
c
h
on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
comparison: fi
x
some me
m
o
ry leaks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/build_
e
ar
l
y_inde
x
: build another in
d
ex on parameter_na
m
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpent
e
r
db/kernel
.
return_
f
ix
e
s:
a
tom
i
c_read() retur
n
s th
e
value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an
Carpenter
debug
.
c:
add some new (no
t
very useful) features
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
buf_comparison:
f
ix b
u
ild an
d
add ma
k
e n
e
w
c
o
de functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
f
r
ee: fix bui
l
d
erro
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
e
r
r
_p
t
r_de
r
ef: make e
r
r
_ptr_min/max static
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
f
r
ee: don't complain when people do
f
rob(&freed_var
i
able)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
n
t
er
kerne
l
_printf: fix %pG tes
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
logical_inste
a
d_
o
f_bitwise: silen
c
e
s
ome false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rp
e
nter
u
n
us
e
d
_ret: make warnin
g
messages consisten
t
with
ev
e
r
yone
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
a
rpenter
user_data2: tag
all union membe
r
s
as untrusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carp
e
nter
user_d
a
t
a
2
:
i
f
users can
o
nly sp
e
cify a single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nte
r
extra: use long
t
o
short mappings
for PARAM_LIMIT and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
p
ente
r
user_data2:
h
andle
"
i
f (untrusted
!=
trusted) {"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carp
e
n
t
er
buf_comparison:
c
lear array
<
-> size li
n
k
s better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf
_
comparison: record if we pass an
A
RRAY_SIZE
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
return_to
_
param (map
p
ings): map regular
a
s
s
i
gnmen
t
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
us
e
r_data2
:
handle inlines better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
m
ath: pre
f
er real absolutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
modi
f
ic
a
ti
o
n_hooks: use long
t
o short map
p
ings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
return_to_param
:
handle "return get_foo(bar);"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
expression: fix expr_get_par
e
nt_
s
t
mt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
f
u
nction_h
o
oks: only add co
m
pariso
n
s when nee
d
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
f
l
ow
:
fix some p
a
rent transition fallo
u
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
an Car
p
e
n
t
e
r
flow
:
set parent stat
e
m
e
nts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Da
n
Carpenter
core: add expr_get/set_parent_stm
t
() accessor
fun
c
ti
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: c
r
eate an a
c
c
essor method
expr_get_parent_expr(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpent
e
r
flow:
rename
s
e
t
_
p
arent_s
t
mt()
=> stmt_set_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
f
low:
r
e
n
ame
s
e
t
_paren
t
_expr() => expr_set_parent_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
D
an Carpenter
return_to_param:
U
s
e th
e
DB re
t
ur
n
stri
n
gs like
"[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
sm
d
b
.
py: t
r
ansla
t
e
m
o
re
p
arameter
n
ames
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
p
y
: g
u
ess
t
he
pa
r
ameter nam
e
s
even if t
h
e fi
l
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpen
t
er
smdb: don't crash
i
f
the para
m
e
ter names are
n
'
t know
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
rpenter
fl
o
w: fix fake
e
nv
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Car
p
e
n
te
r
balanced: del
e
te this che
c
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpent
e
r
flow: add init_fake_en
v
()
/
end_
f
ake_env()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
store
d
_conditions
:
stor
e
as
e
xpression pointers
i
ns
t
ead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Da
n
Carpen
t
er
flow,
d
b: fix
h
ow inlin
e
functio
n
assignm
e
nts a
r
e handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
Carpenter
flow: remove some buggy unuse
d
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpenter
fl
o
w:
f
ix ini
t
ializ
a
tion
of ne
s
ted structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
enter
db: buil
d
an index on the parameter names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
mat
h
: i
m
prove MO
D
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
mitry
M
onakhov
test
_
kern
e
l
.
sh: add config op
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Mona
k
hov
Ma
k
efil
e
: Install s
c
ripts to
/usr/
s
hare/smatch/smatch_scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
D
m
i
t
ry
M
o
n
ak
h
ov
M
akef
i
le: make install
prefix config
u
rable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
p
arameter_na
m
es: s
t
ore parameter
n
ames in
t
h
e
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reforma
t
call_info
o
u
t
p
ut
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
M
a
kefile
:
use
q
uiet l
i
nk
t
o li
n
k smatch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
st
a
t
e
s: fix handlin
g
switch
e
s inside condition
s
(fak
e
_cur_stre
e
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
states: split update_fake_stree_
w
ith_merged
(
) a
n
d ad
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
t
y
p
e_val: s
m
all tweak for a
r
rays and complic
a
ted
l
values
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
extr
a
: handle indirection like "p
= &foo; *p =
4
2;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
penter
extra: handle MOD
c
o
n
diti
o
n
s
like "if (a % 4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Ca
r
penter
m
o
dification_hooks: remove
u
n
us
e
d indirect modific
a
tion
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
validation/
s
kb
3
:
dele
t
e
som
e
accide
n
tal d
e
bug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Ca
r
penter
user_d
a
ta2: don't
set parameters
to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
p
e
nter
u
s
er_data2
:
handle s
k
b->dat
a
math a littl
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
user_dat
a
2: re-wor
k
handling of
s
kb
-
>data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
p
a
rse_cal
l
_
m
a
th: work ar
o
u
nd
for
loo
p
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
Carp
e
n
t
e
r
l
eaks: don
'
t
complain
if
w
e
overwri
t
e NU
L
L pointers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
free:
i
gnore imposs
i
ble
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
shift_to
_
zero: make the e
r
ror mess
a
ge more i
n
formative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an C
a
rpen
t
er
test_bit: add test_and_clear_b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Car
p
enter
smdb
.
py: print the retu
r
n
_
implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpe
n
ter
d
b
/fix
u
p_kernel
.
sh: ignore do_loop_readv
_
wri
t
ev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpent
e
r
extr
a
: set hard ma
x
if a function i
s
called
w
ith a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
e
xtra: fix ha
n
dli
n
g of known conditi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpenter
param_limit: d
o
n
'
t set some
u
nchang
e
d limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
d
b
: prevent slow down
s
s
p
l
itting
returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: set p
a
rse_error if the SQL f
a
ils
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
D
an
C
a
rpenter
p
a
ram_set: handle if t
h
e parent was set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpen
t
er
b
uf_si
z
e: fix t
y
pe_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpen
t
er
db: f
i
lter poi
n
ter
c
alls by function signat
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpe
n
ter
implied: revert "tiny speed up"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpen
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
C
ar
p
enter
type:
f
i
x
type_
b
its() for arra
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
shift_to_ze
r
o: do a s
m
all clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
s
mat
c
h
.
c:
remove a b
l
ank li
n
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
db
:
spl
i
t return
states by null
vs no
n
-null parameter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n C
a
rpen
t
er
extra: filter PARAM_VALUEs wi
t
h
bo
t
h
e
xtra an
d
rea
l
_absolut
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next