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
generic_data: fix up some project related things for smatch_generic
2017-05-16
Dan Ca
r
p
en
t
er
generic_da
t
a: fi
x
up some proj
e
ct
related thing
s
for
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
smdb
.
py: f
i
x summary (it was totally broken before
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
Dan Ca
r
penter
l
i
nks, var_sy
m
:
a
llo
c
a
te few
e
r
state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-15
D
an Carpenter
modifi
c
ation_hooks: do
n
't save so much data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
return_to_
p
aram: do
n
't
mo
d
ify memory on t
h
e stack
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-11
Da
n
Ca
r
pent
e
r
extra: handle integer overfl
o
w
s better for "i
n
t
_
foo
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n
Carpe
n
ter
b
u
ild_generic_
d
a
ta: several impr
o
vements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpente
r
t
est_
g
eneric
.
sh: li
k
e test_ke
r
nel
.
s
h b
u
t for generic
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
gen
e
ric_data
:
re
n
ame to match bui
l
d_kernel_dat
a
.
sh
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
D
a
n Carpenter
g
en
e
ric_info: al
l
ow people to build a specific directory
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
unreachable: don't complain
abou
t
static declarations
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carp
e
nter
ind
e
x_ove
r
flow: sile
n
ce
s
ome glibc fa
l
se
positi
v
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Ca
r
penter
projec
t
: create a way to
g
enerate smatch_data for a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
co
r
e: improve Fu
n
c
ti
o
n t
o
o hairy calculation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
he
l
per: don't
c
rash so much on invalid
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpe
n
te
r
comparis
o
n: f
i
x some m
e
mo
r
y lea
k
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
d
b/build
_
early_index: build another inde
x
on param
e
ter_name
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rp
e
nt
e
r
db/
k
ernel
.
return
_
f
ixes:
a
tomic_read() returns the value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpente
r
de
b
ug
.
c: add some new (
n
ot very useful) feat
u
res
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Car
p
e
n
ter
buf
_
comparison: fix buil
d
and add mak
e
ne
w
code
f
unct
i
onal
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
penter
free: fix build error
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
e
rr_ptr
_
dere
f
: m
a
ke
e
rr_ptr_min/m
a
x
static
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpenter
fre
e
:
don't com
p
lain when people do
f
rob(&freed_variable)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n C
a
rp
e
nter
kern
e
l_printf: fix %pG test
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
logical_instead_
o
f_
b
itwise: silence
s
ome false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carp
e
n
t
e
r
unuse
d
_ret: make warning messages c
o
n
s
istent with everyone
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
us
e
r_data2: tag all unio
n
members as untr
u
ste
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
user_dat
a
2: if users can only specify
a
single
value
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
extra: use long to
short
m
a
pping
s
for PAR
A
M_L
I
M
I
T and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
Carpenter
user_dat
a
2: handle "if (
u
n
trusted
!
= trus
t
ed) {"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carpenter
buf
_
comparison:
c
le
a
r
a
r
ray <-> si
z
e links be
t
te
r
on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
buf_co
m
parison: r
e
c
o
r
d
if
w
e pass an ARRAY_SIZE to
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
retur
n
_
to_param (mappings): map reg
u
la
r
assig
n
ment
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carp
e
nter
user_data2: handle inlines better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
math: prefer r
e
a
l absolut
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpent
e
r
mod
i
ficatio
n
_hooks:
use long to short m
a
ppings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-04
Dan Ca
r
pent
e
r
return_to_param:
h
andle "return get_foo(ba
r
);"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan
Carpent
e
r
ex
p
ression
:
fix
expr_get_
p
a
re
n
t
_
stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
f
u
nction_hooks: only add co
m
parisons when needed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan
C
arpenter
flow: fix som
e
p
arent t
r
a
nsit
i
o
n fallo
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpe
n
ter
flow
:
set
p
ar
e
n
t statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
c
or
e
: add expr_g
e
t/set_parent_stmt() a
c
cessor f
u
nctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
flow: creat
e
an
accessor met
h
o
d exp
r
_get_pare
n
t_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Car
p
enter
flo
w
: rename set_parent_stm
t
() => stmt
_
set_pare
n
t_stmt
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carp
e
nter
flow
:
rename set_parent_expr() => expr_
s
et
_
p
arent_expr()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-26
Dan Ca
r
penter
r
etur
n
_to_pa
r
am: Use the DB return strings l
i
ke "[
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
m
db
.
py:
translate more paramet
e
r names
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpe
n
ter
smdb
.
py: guess
t
he par
a
me
t
er na
m
es
e
ven
if the
f
ile
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb: do
n
't cra
s
h if the parameter na
m
es
a
ren't known
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arpent
e
r
flow: f
i
x fake e
n
v
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
Dan
C
arp
e
nte
r
balanced: delete this check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-20
D
a
n Carpenter
flow
:
add init_fake_env()/end_fake
_
en
v
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Ca
r
penter
stored_condi
t
ions: store a
s
expression pointers instea
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-19
Dan Ca
r
penter
flow, db: fix how inli
n
e function assignm
e
nt
s
are
h
a
n
dled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan
Car
p
enter
flow: remove s
o
me buggy unused code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Car
p
enter
fl
o
w: f
i
x
i
nitialization
of
n
ested struct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
D
an Carpent
e
r
db: build
a
n inde
x
on th
e
p
arame
t
er name
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpente
r
math: improv
e
M
O
D handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpe
n
ter
p
a
rameter_names: store par
a
meter names in the
DB
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
smdb
.
py: reformat call_in
f
o outp
u
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
Makefil
e
: us
e
quiet link t
o
link smatch
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpente
r
state
s
:
f
i
x handling switch
e
s inside co
n
ditions (fake
_
cur_stree)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carp
e
nter
states: split update_fake_stree_
w
ith_merged(
)
and add
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
pe
n
t
e
r
type_val: smal
l
tweak for ar
r
ays and complicat
e
d l
v
alues
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-04-11
Dan Ca
r
p
enter
extra: handle ind
i
rection like "p = &foo; *p
=
4
2
;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpenter
ext
r
a: hand
l
e MOD co
n
ditions
l
ike "if (
a
% 4) {" bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carpe
n
ter
mod
i
f
ication_hooks: r
e
move unused in
d
irect modifica
t
ion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-17
Dan
Carpen
t
er
validation/skb
3
:
d
elete some
a
c
c
idental d
e
bug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan
C
arpenter
us
e
r_
d
ata2: don't set par
a
mete
r
s to use
r
_
data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
s
e
r
_data
2
: h
a
ndle skb->dat
a
math a little better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Carpenter
u
ser_data2: re-w
o
rk handling of skb->data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan C
a
rpe
n
ter
p
a
rse_call_math: wor
k
around for loop
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
leaks: don't compla
i
n if we overwrit
e
N
U
LL pointe
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpent
e
r
free: ignore i
m
possible cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
e
n
t
e
r
sh
i
ft_to_ze
r
o: make the
e
rror messag
e
m
ore
infor
m
ative
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
tes
t
_bi
t
: add test_
a
nd_c
l
e
a
r_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
s
mdb
.
py:
p
r
int the return_im
p
lies
value
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
rpenter
db/
f
ixu
p
_kernel
.
sh: ignore
do
_
loop_readv_
w
ri
t
e
v()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpent
e
r
ex
t
ra: set hard max if a func
t
ion
is called with a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra: fix handling of known conditi
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
param_limit: don't set some
unch
a
n
g
e
d
l
i
mits
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
db: prevent slow downs splitting r
e
turns apart
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
rpenter
d
b
: set parse_er
r
or if the SQ
L
fails
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-16
Da
n
C
a
rp
e
nter
param_s
e
t: handle
i
f th
e
p
a
rent was se
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carp
e
nter
buf_s
i
z
e
: fix type_
b
ytes()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db
:
filter p
o
inter c
a
ll
s
by fun
c
tio
n
signa
t
ures
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
implied: r
e
ve
r
t "tiny
speed up
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
penter
assign_vs
_
compa
r
e: warn
a
bout "
i
f (foo =
&ba
r
) "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
er
t
y
pe: fix
t
yp
e
_bits()
f
or arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpe
n
ter
s
h
i
f
t_to_zero:
d
o 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: remove a bla
n
k line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Car
p
enter
db: split
return st
a
t
e
s by null vs no
n
-null pa
r
amet
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
extra: filter
PARAM_VALUEs
with both e
x
tra and real_absolute
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
math: ha
n
dle -fo
o
bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n
C
a
rpenter
h
elp
e
r
:
i
ntro
d
u
ce
get
s
t
ruct and membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: tiny speed up
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
implied
:
small cleanup
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpen
t
e
r
r
a
nges: handle bitwis
e
A
N
D operat
i
ons bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
Dan
C
arpenter
r
e
al_abs
o
lute: introdu
c
e get_
r
eal_abs
o
lute_var_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
a
v
l: add a shor
t
cut
for when there ar
e
no sta
t
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next