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
extra: make set_extra_mod_helper() void and static
2017-05-16
D
a
n Carp
e
nter
e
xtra: make set_ext
r
a
_
m
od_h
e
l
per() void a
n
d
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpente
r
extra: make
s
et
_
extra_mod() a
void
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
e
x
t
r
a
: make set
_
extra_expr_mod() a void function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
gen
e
ric
_
data:
f
ix up
s
ome project related things for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Ca
r
penter
s
m
db
.
py: fix
s
ummar
y
(it was
tota
l
ly broken before
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpent
e
r
links, var_
s
ym: allo
c
ate fewer states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Ca
r
pent
e
r
modi
f
icati
o
n_hooks: don't
s
a
ve so much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
arpenter
return_to_param: don
'
t mo
d
ify m
e
mory
on
the sta
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpente
r
extr
a
: handle int
e
ger overflows bett
e
r for "int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
pen
t
e
r
b
u
ild_generic_
d
ata: several improve
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpe
n
t
e
r
test_g
e
neric
.
sh: l
i
ke
test_kern
e
l
.
sh bu
t
for
g
eneric
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
C
ar
p
en
t
e
r
generic
_
data: rename to match buil
d
_
ker
n
el_
d
ata
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
generic_info: allow people to b
u
ild a sp
e
cific dire
c
tory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
e
nter
unreachable:
don't c
o
mplai
n
ab
o
ut static declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpent
e
r
index_overflow: silen
c
e some gli
b
c false po
s
it
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpe
n
t
e
r
p
r
o
j
e
ct:
create a way
to g
e
nerate smatc
h
_
d
ata
f
or a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
C
arpenter
c
o
re: impr
o
ve Function
too ha
i
ry calculatio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpente
r
h
e
lper:
d
on't c
r
ash so much o
n
i
n
v
a
l
id c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
comp
a
rison: fix some memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
db/
b
u
i
ld_
e
arly_index: build
another index
o
n parameter_nam
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpen
t
er
db/kern
e
l
.
return_
f
ixes: atomic_read() returns the va
l
u
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
debug
.
c: add
s
om
e
ne
w
(not v
e
ry
useful) feat
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Car
p
enter
bu
f
_
c
ompari
s
o
n
: fix build and add
make n
e
w cod
e
fu
n
c
tional
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pente
r
fr
e
e: f
i
x build
e
rro
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an
C
arpenter
err_ptr_der
e
f: make err
_
ptr_min/max static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
t
e
r
free: do
n
't comp
l
ain when peo
p
le
d
o
f
r
ob(&freed
_
v
a
ria
b
le)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpente
r
kernel_printf: fix %pG te
s
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
logical_inst
e
ad_of_
b
itwise
:
silence som
e
false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
u
nused_ret: make warning messages consistent wi
t
h e
v
eryone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carp
e
nter
user_data2: tag all uni
o
n mem
b
ers as u
n
truste
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carp
e
nter
user_
d
ata
2
:
i
f
users can
only specify a single value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an C
a
rpenter
ext
r
a:
u
se long to short
m
a
p
p
ings for PARAM_LIM
I
T and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
nt
e
r
user_data2: handle "if (untrusted != trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n
Carpenter
b
uf_comparison: clear array <-> size links bett
e
r on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
buf
_
c
o
mparison
:
recor
d
if we pass an ARRA
Y
_
S
IZE
t
o
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
return_to_param
(mappings):
map regula
r
assignm
e
nts
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpen
t
er
user_
d
ata
2
: handle inl
i
n
es be
t
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
math
:
prefer real absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
a
n Carpenter
m
odific
a
tion_
h
ooks: u
s
e lo
n
g to short mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
r
e
turn_to_param:
h
a
n
dle "return get_foo(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
D
an Carpenter
expre
s
sion: fix expr_get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpen
t
er
fun
c
tio
n
_hooks: only add com
p
a
risons when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
r
p
enter
flow: fix som
e
parent transiti
o
n fa
l
l
o
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan C
a
r
penter
flow: set pa
r
e
nt statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpenter
core: add
e
x
p
r_get/set
_
p
a
r
ent_st
m
t() a
c
c
es
s
or functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: create
a
n
a
cc
e
s
s
or metho
d
ex
p
r
_get_pare
n
t_
e
xpr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
f
l
ow:
rename
s
et_parent_stmt() =>
stmt_set_pare
n
t_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
er
f
l
ow:
r
ename se
t
_parent_expr(
)
=> expr_
s
et_parent_exp
r
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
D
a
n
Ca
r
p
enter
ret
u
rn_to_param: Use the
D
B
return
s
trings l
i
ke
"
[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py:
t
ransla
t
e more para
m
eter names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Da
n
C
a
r
penter
s
m
d
b
.
py: gu
e
ss
the parameter names ev
e
n if the
fil
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smd
b
: don't
c
rash if
t
he
paramet
e
r n
a
mes aren't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
an Carpenter
f
lo
w
: fix fake env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan
Carpenter
balance
d
: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
enter
flow: add init_fak
e
_
env()/
e
nd_
f
ake_e
n
v
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
D
an Carpenter
s
t
ore
d
_condit
i
ons: store as express
i
on poi
n
t
ers i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
flow, db: fix how inline f
u
nctio
n
assignments are handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
flow: remo
v
e some bu
g
gy unused
c
od
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Carpe
n
ter
f
l
o
w: fix ini
t
ialization of neste
d
s
tructs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Ca
r
penter
d
b: build an i
n
dex o
n
the parame
t
er names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an C
a
rpenter
m
ath: im
p
rove MOD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
parameter_names: store parame
t
er na
m
es
i
n the DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
smdb
.
py: reformat call_info out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rp
e
nter
Ma
k
efile: use qu
i
et
l
in
k
to
l
ink sm
a
tc
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pe
n
ter
states: fix handling swi
t
ches
inside conditio
n
s (fake_
c
ur_s
t
ree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: split update_
f
ake_stree_with_m
e
rged() and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
t
y
pe_val:
small tweak for arra
y
s an
d
complicate
d
lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpent
e
r
extra
:
handle
i
n
direction like "p = &fo
o
; *p = 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
extra: h
a
ndle MO
D
co
n
ditions
l
i
k
e
"if (a % 4) {" bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Carpenter
mo
d
ification
_
hooks: remove unu
s
ed indirec
t
mo
d
i
f
i
c
ation
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
D
an Carpenter
vali
d
a
t
i
on/skb3: delete so
m
e accident
a
l deb
u
g code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
user_data2:
d
o
n
't set paramet
e
rs to
u
ser_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Ca
r
penter
use
r
_data2: han
d
le
s
kb
-
>data math a little
b
e
tter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
ar
p
enter
u
s
er_
d
ata2
:
re-work ha
n
d
l
ing of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
parse_call_mat
h
:
w
ork around for
loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpen
t
er
l
eaks:
d
o
n't complain if
w
e overwrite NUL
L
pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arp
e
nter
fre
e
: ignor
e
impo
s
sible
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpente
r
shift_
t
o
_
z
e
ro: make th
e
error messa
g
e
mo
r
e infor
m
ative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
t
est_bit: add test_and_cle
a
r_b
i
t()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpenter
smdb
.
py
:
pri
n
t th
e
return_implies va
l
ue
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
db/fixup_kernel
.
sh: ignore do_loop_read
v
_
w
r
i
tev(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpenter
e
x
tra: set hard
m
ax if a func
t
ion is called with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n
Carpenter
extra:
fix handling of known condition
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpent
e
r
p
a
ram_
l
im
i
t: d
o
n't set some u
n
change
d
limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: preve
n
t slow downs splitt
i
ng returns ap
a
rt
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
e
nter
db: set
parse_error
if the SQL fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
D
an Car
p
ent
e
r
p
a
ram_se
t
: handle if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
a
n C
a
rpenter
buf_size: fix type_by
t
e
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
D
an Carpe
n
ter
db
:
f
i
lter poin
t
er
calls by f
u
nctio
n
sign
a
tures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
nter
implied:
r
evert "tiny speed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
assign_vs_co
m
pare
:
warn ab
o
ut
"
if (
f
o
o = &
b
ar) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Ca
r
penter
type: fix t
y
p
e
_bits() for
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
s
h
ift_to_zero: do a sma
l
l clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: r
e
m
o
ve a bl
a
n
k line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
db:
s
plit return stat
e
s by null vs non-null p
a
r
amet
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra: filt
e
r PARAM_VA
L
UEs
w
ith both e
x
t
r
a
a
nd r
e
al
_
absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carp
e
n
te
r
m
ath
:
handle -foo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
helper: int
r
oduce get struc
t
and
member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Car
p
enter
i
m
plied
:
tiny spee
d
up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next