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 Carpenter
generic_
d
at
a
: fix
u
p some project re
l
ated things for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-16
Dan Carpenter
smdb
.
py: fix summary (i
t
wa
s
total
l
y
b
r
oken before)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan
Carpenter
li
n
ks, var_sym:
a
l
locate
f
ewer st
a
tes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-15
Dan Carpenter
modification_ho
o
ks: do
n
't
s
ave
so m
u
ch d
a
ta
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan
C
arpente
r
return_to_param: do
n
't mo
d
if
y
memory on the stack
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-11
Dan Carpenter
extra
:
h
a
ndl
e
integ
e
r overflows bette
r
for "int_foo
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
build_generic_data
:
sev
e
ral impro
v
ements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
te
s
t_gen
e
ric
.
s
h
:
like
test_kernel
.
sh but for generic
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
generic_data: re
n
ame
to
m
atch buil
d
_kernel_data
.
sh
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
generic_info
:
allow
p
eople to build
a specific directory
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
enter
unreacha
b
l
e
: don
'
t
c
omplain about st
a
tic
declarations
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Da
n
Carpenter
index_
o
v
e
rfl
o
w: silence
s
ome gli
b
c fals
e
positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Car
p
ent
e
r
projec
t
: create a way
t
o gene
r
ate
s
match
_
d
ata f
o
r
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-10
Dan Carpenter
core: i
m
p
r
ove Func
t
ion too hairy calculation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
helper: don't crash so much on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
c
omparison: fix some memory
le
a
ks
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
a
n Carp
e
nter
db/build_
e
arly_index: build another index on parameter_name
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pent
e
r
db/ke
r
nel
.
r
e
turn_fixes: atomic_read(
)
re
t
ur
n
s the value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Carpen
t
er
debug
.
c: add some
n
ew (not very us
e
ful) feat
u
res
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Ca
r
pen
t
er
buf_com
p
arison:
fix build and
a
dd mak
e
new code functional
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpe
n
ter
free: fix build error
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpent
e
r
err_ptr_deref:
make err_ptr_
m
in/m
a
x
s
tatic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
free: don'
t
complain when pe
o
ple do
f
rob(&freed_variable)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
kernel_printf: fix %
p
G test
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Car
p
enter
log
i
ca
l
_
instead_of_bitwise: silence some false positiv
e
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
unused_ret: make warnin
g
mess
a
ges
consistent with every
o
ne
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpenter
u
s
e
r
_d
a
ta2: tag
all union members as u
n
trusted
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpent
e
r
us
e
r_
d
ata2: if
users can only
s
pecify
a
single value
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan
C
arpenter
extr
a
:
us
e
lon
g
t
o
short m
a
ppings for P
A
RAM_LIMI
T
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan C
a
rpenter
u
ser_d
a
ta2: handle "
i
f
(untrusted != trusted)
{"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
D
an Car
p
ente
r
buf_compa
r
ison: clear array <-> size links better on
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Dan Carpen
t
er
buf_comparison: record if we pass an A
R
RAY_SIZ
E
t
o
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-08
Da
n
Carpenter
retu
r
n_to_param (map
p
ings): map regular assignments
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
user_data2
:
handle inlines bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpent
e
r
math: prefer real ab
s
olutes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Dan Carpenter
m
o
dification_hooks: use long to sho
r
t map
p
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-04
Da
n
Carpenter
r
e
turn_t
o
_param: handl
e
"
r
eturn get_foo(b
a
r)
;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpent
e
r
expression: fix expr_
g
e
t
_parent
_
stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-05-02
Dan Carpenter
fun
c
tion_hooks: onl
y
add co
m
parisons w
h
en needed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow:
f
ix
some parent tr
a
nsition fallout
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Carpenter
fl
o
w: set p
a
rent statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Ca
r
penter
core: add expr_
g
et/set_parent_stmt() access
o
r
f
unctions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan Car
p
enter
flow: create an accessor method expr_get_paren
t
_expr()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
D
a
n Carpenter
flow: rename
set_pare
n
t_stmt() => stmt_
s
e
t_par
e
nt
_
s
tmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-27
Dan
Carpenter
flow:
rename set_
p
arent_expr
(
) => e
x
pr_set_pa
r
ent_expr
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-26
Dan
C
arpenter
return_to_par
a
m: Us
e
the
DB return s
t
rings like "[
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb
.
py: t
r
anslate more
p
arameter
names
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
s
mdb
.
py: g
u
ess t
h
e parameter names
e
v
en
if the file
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-21
Dan Carpenter
smdb:
d
on't crash
i
f
the parameter names aren
'
t kno
w
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan
Carpenter
flow: fix
f
ake env
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Da
n
Carpenter
b
a
l
anced:
d
elete this
check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-20
Dan Car
p
enter
f
low
:
add ini
t
_fake
_
env()/
e
nd_
f
a
k
e_env
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carp
e
nt
e
r
stor
e
d
_conditions: s
t
or
e
as
e
xpre
s
sion
pointe
r
s instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-19
Dan Carpenter
f
low, db: fix how inl
i
ne funct
i
on as
s
ignme
n
ts are handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
f
l
ow:
remove so
m
e
b
uggy unu
s
ed code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan Carpenter
fl
o
w: fix initialization of
n
ested structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dan
C
arpenter
d
b: build an
i
ndex
o
n the parameter n
a
mes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Da
n
Carpenter
math: improve MOD h
a
ndling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Monakh
o
v
test_kernel
.
sh: add config op
t
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitr
y
Monakhov
Ma
k
efi
l
e: Install sc
r
ipts to /usr/sh
a
re/s
m
atc
h
/smatc
h
_scripts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-12
Dmitry Mona
k
ho
v
Makefile: make ins
t
all pr
e
fix configurab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
Carpente
r
parame
t
er_names: store parameter names in the
DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpe
n
ter
smdb
.
py:
refo
r
mat
call_info
o
utput
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpenter
Makefile: use
quiet lin
k
to link sm
a
tch
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: fix ha
n
dling
s
witches insid
e
conditions (fake_cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
a
n Carpenter
states: sp
l
it up
d
a
t
e_fa
k
e_stree_with_merged() and add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Da
n
C
arpe
n
ter
type_val: s
m
al
l
tweak for arrays and compli
c
ated lvalues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Car
p
enter
ext
r
a: handle
i
ndirecti
o
n like "p = &foo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Dan Carp
e
nter
extra:
h
and
l
e MOD conditions like "if (a % 4) {" better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
Da
n
C
a
rpenter
mo
d
ifica
t
ion_hooks: remove unuse
d
in
d
irect mod
i
fication
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
validation/skb
3
:
delete some accidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan C
a
rpenter
user_data2:
d
on't set
p
arameters to us
e
r_da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
s
er_data2: handle skb->data math a littl
e
better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
u
s
er_data2: re-
w
ork han
d
l
i
ng
of skb->data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
C
arpenter
parse_cal
l
_math: work a
r
ound for loops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
le
a
ks: don
'
t comp
l
ain if w
e
overwrite NULL pointer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
arpenter
free: ignore imp
o
s
s
ible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpente
r
sh
i
ft_to_zero: make the error mess
a
ge more informative
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpe
n
ter
t
e
st_bit: add test_and_clear_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
pente
r
smdb
.
py:
p
rint the retu
r
n_imp
l
ies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db/fixup_kernel
.
s
h
:
i
g
n
or
e
do_loop_readv_writev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an
C
a
rpe
n
ter
extra: set hard max
if a
functi
o
n is called
with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpe
n
ter
extra: fix
h
and
l
ing of k
n
own
condit
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n Carpenter
param_l
i
mit: don't set some un
c
hange
d
li
m
its
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: prevent slow downs
s
plittin
g
returns apart
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
a
n C
a
r
p
e
nter
db:
s
et
parse_error if
th
e
SQL f
a
ils
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan C
a
rpenter
p
ara
m
_set: handle i
f
the p
a
r
e
nt was
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
buf_size: fix t
y
pe_bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Da
n
C
arpenter
db: filter pointer calls by function signatu
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
impl
i
ed:
r
evert "t
i
ny speed u
p
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
as
s
ig
n
_vs_
c
ompare: warn ab
o
ut "if (foo
= &ba
r
) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
type: fi
x
type
_
bi
t
s
(
)
for
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
shift_to_zero: do
a
small clea
n
u
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
smatch
.
c: remove a blank line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
db: split
r
e
t
urn sta
t
es by n
u
ll vs non-null par
a
meter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
extr
a
: filter PARA
M
_VALUEs with
b
ot
h
extra
a
nd real_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Carpenter
math: handle -foo
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
help
e
r
: in
t
roduce get
str
u
c
t
a
nd member
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpe
n
ter
impl
i
e
d: tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
implied: small
c
leanup
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next