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
links, var_sym: allocate fewer states
2017-05-15
Dan C
a
r
p
enter
l
inks
,
v
ar_sym: a
l
l
oc
a
te fewer
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
modification_hooks:
d
o
n
't save
s
o
much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
return_to_param: do
n
't mod
i
fy mem
o
r
y on
t
he stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Da
n
Car
p
e
n
ter
extra
:
handle integer ove
r
flows bett
e
r for
"
int_foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan C
a
rpenter
b
uild_g
e
n
eric_data: seve
r
al improve
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
test_generic
.
s
h
: li
k
e test
_
kernel
.
sh but
for generic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
ge
n
eric_data: rename to match buil
d
_ker
n
el_data
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
g
e
neric_i
n
fo: al
l
ow
pe
o
p
l
e t
o
b
uil
d
a specific di
r
ectory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
Carp
e
nt
e
r
u
n
rea
c
h
a
ble: don't
complain about
s
t
atic
decl
a
ra
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carp
e
nter
index_overflow: silen
c
e some g
l
ibc false
p
ositives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan
Carpenter
project: create a way to generate smatch_data
for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
en
t
er
co
r
e
: improve F
u
nction too hairy
calculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
h
e
lp
e
r: don't c
r
ash s
o
much on invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
comparis
o
n: fix
s
ome memory leaks
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carp
e
nter
d
b
/
build_early_index: build another index on
p
a
rameter_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
d
b
/kerne
l
.
re
t
u
r
n_fixes:
atomic_read()
returns the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
debug
.
c:
a
dd some new (not ve
r
y u
s
ef
u
l) fe
a
tures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
b
u
f_co
m
par
i
son: fix build
and add make
n
ew c
o
de
fun
c
ti
o
n
al
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
n
t
er
free: fix bui
l
d error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
te
r
e
r
r_ptr_der
e
f
:
make err_pt
r
_min/max stati
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpe
n
ter
free:
don't complain whe
n
p
eople do fro
b
(&freed_variable)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Ca
r
penter
kernel_printf: fi
x
%pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
l
o
g
ical_instead_of_bitwise: silence some false p
o
sitives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
unuse
d
_
r
et: make warni
n
g
messag
e
s
consistent w
i
th
e
v
eryon
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
user_data2
:
tag all union memb
e
rs as unt
r
us
t
ed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
u
s
er_d
a
ta2:
i
f
users can on
l
y specify a single
v
alue
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carp
e
n
t
e
r
extra: use long to short mappings for PARAM_LIMIT and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Car
p
enter
user_data2: handle
"if (untru
s
te
d
!= trusted) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpent
e
r
bu
f
_comparison: clear array <-> size links
b
ette
r
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
buf_comparison:
record
i
f we
p
ass an ARRAY_SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
return_to_param
(mapping
s
): map regular assignment
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan C
a
rpenter
user_dat
a
2:
h
andle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
D
an
Carpent
e
r
mat
h
:
pref
e
r
r
eal
absolutes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
n
t
er
modifi
c
ation
_
hooks: use long to short mappings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Car
p
enter
return_to_param: handle "r
e
t
urn
g
et_f
o
o(bar);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
e
xpres
s
i
on:
fix expr_
g
et_parent
_
stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
function_hook
s
:
only add co
m
p
a
risons when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
flow:
f
ix some
p
arent
t
r
a
ns
i
tion fallout
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpente
r
fl
o
w: s
e
t paren
t
statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpen
t
e
r
core: add
expr_g
e
t/
s
et_parent_stmt(
)
acces
s
or func
t
i
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: create an accessor metho
d
e
x
pr_get_parent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
D
an Carpenter
f
l
ow: renam
e
set_
p
are
n
t_stm
t
()
=
> stm
t
_
set_par
e
nt_stm
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: renam
e
set_p
a
rent_expr() => expr_set_parent_expr
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Da
n
C
a
rpenter
r
eturn_t
o
_param
:
Us
e
the DB return s
t
r
i
ngs like "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
sm
d
b
.
py:
translat
e
more parameter
names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan C
a
r
p
enter
smdb
.
py:
gue
s
s the par
a
meter names eve
n
i
f the file
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Ca
r
penter
smdb:
do
n
'
t crash if
t
he parameter n
a
m
e
s aren't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan C
a
rpenter
f
l
ow: fix fake
env
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan Carpenter
b
a
lanced: delete this c
h
eck
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arpente
r
f
l
ow:
add init_fake_
e
nv()/end_fak
e
_env()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpe
n
ter
st
o
red_
c
onditions: store as expre
s
sion po
i
nters i
n
stead
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Da
n
Carpen
t
er
flow, db: fix how inline function assignments are h
a
ndle
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
a
n Ca
r
pen
t
er
f
l
ow: re
m
ove s
o
me buggy unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Car
p
enter
f
l
ow: fix i
n
i
t
ialization
o
f
n
ested stru
c
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
db
:
bu
i
ld an index
on
the paramet
e
r names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Ca
r
penter
math: improv
e
M
OD handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakhov
test_kern
e
l
.
s
h
: add config options
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
m
itr
y
Monak
h
ov
Makefile: I
n
stall sc
r
i
p
t
s
to
/usr/share/s
m
atch/smatch_scrip
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
m
i
t
r
y Monakhov
M
a
kefile: m
a
ke inst
a
ll
p
refix
confi
g
u
rabl
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
ter
parameter_n
a
m
e
s
:
store para
m
et
e
r names
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 output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpenter
Makefil
e
:
use quie
t
link t
o
li
n
k smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rp
e
nter
st
a
t
e
s
:
fix
handling switches in
s
ide co
n
ditio
n
s
(fake_cur_st
r
ee)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Car
p
enter
s
t
ates
:
split update_fake_stre
e
_wi
t
h_mer
g
ed() and ad
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n
Carpe
n
ter
type_va
l
: sm
a
ll tweak for arrays and
c
omplicated
lvalues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
e
x
t
r
a:
h
andle indirection
l
ike "p = &
f
o
o
; *
p
= 42;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan
Car
p
enter
extra:
h
andle MOD conditio
n
s
li
k
e "i
f
(a % 4) {" better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
modific
a
tion_
h
ooks: rem
o
ve
unu
s
ed
in
d
irect modifi
c
ati
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Da
n
Carpenter
validation/skb3: delete some acciden
t
a
l
de
b
ug co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n
Carpenter
user_data2: don't set parameters
t
o
user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
use
r
_data2: han
d
le skb->da
t
a m
a
th a little bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
Carpenter
user_data2
:
re-work handling of skb
-
>data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
par
s
e_call_math: wo
r
k around for loops
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an
Carpen
t
er
leaks: don't c
o
mplain if we overwrite NULL pointers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
f
ree: ignore impos
s
ible c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
r
penter
sh
i
ft_to_ze
r
o: ma
k
e
t
he er
r
or message more informati
v
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
test_b
i
t: add test_a
n
d_clear_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpe
n
ter
s
m
db
.
py: print the re
t
u
r
n_implies value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
nter
d
b
/fixup_kernel
.
sh: ignore do_loop_readv_writev()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carp
e
n
te
r
extra: set
h
ard
m
a
x
i
f
a f
u
nction is called
with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
te
r
ex
t
ra: f
i
x handling
o
f known condit
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Ca
r
pent
e
r
p
aram
_
lim
i
t:
d
o
n
't set some unch
a
nged limits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
db:
p
r
e
ven
t
sl
o
w downs spl
i
tting returns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpente
r
db: set
p
arse
_
err
o
r if the
S
QL fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
D
a
n Ca
r
penter
param_set: handle if the parent was set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpent
e
r
buf_size
:
fix type_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpente
r
db: filter pointer calls by fun
c
tion signatures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
ar
p
enter
i
m
plied: revert
"
tiny s
p
eed up"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
a
r
penter
assign_vs_compar
e
: warn a
b
out
"
i
f (foo = &bar)
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
type: fix type
_
bits() for array
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
shift_to_z
e
ro: do a small clean up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
sm
a
t
c
h
.
c: remove
a blank line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpenter
db: sp
l
it return s
t
ates by null vs
non
-
null parameter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extra
:
filter PARAM_
V
ALUEs with both extra and real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
m
ath: ha
n
dle -
f
oo better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carp
e
nte
r
he
l
p
er: introd
u
ce get struct and member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
an
Carpenter
impl
i
ed: ti
n
y s
p
e
e
d up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
im
p
lied: sma
l
l cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Carpen
t
er
ranges: handle
bitwise AND o
p
eratio
n
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
p
enter
r
eal_absolute: int
r
oduce get_real_
a
bsolute_var_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next