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
Makefile: make install prefix configurable
2017-04-12
D
m
itry
M
onak
h
ov
M
akefile: mak
e
i
n
stal
l
p
r
efix co
n
figur
a
ble
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpente
r
p
a
rameter_na
m
es: store param
e
ter na
m
es
i
n the DB
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan C
a
rpenter
smdb
.
py: reform
a
t call_info output
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan
C
arpente
r
Makefile: use quiet link to link smat
c
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpenter
states: fix handling swit
c
he
s
insi
d
e cond
i
tions
(
fake
_
cur_stree)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpenter
states: split update_fake_stree_with_merged()
a
n
d add
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
D
an Carpenter
type_val: small
twea
k
f
o
r
arrays and co
m
plicate
d
lv
a
lues
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-04-11
Dan Carpe
n
t
er
extra: handle indir
e
ction like "p = &
f
oo; *p = 42;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
a
n Carpent
e
r
ex
t
ra: ha
n
dle MOD cond
i
tions
l
ik
e
"if (a %
4) {" b
e
t
t
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-29
D
an Carp
e
nter
modi
f
i
c
ation_
h
o
oks: rem
o
v
e u
n
us
e
d indirect modification
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-17
Dan Carpenter
va
l
idatio
n
/s
k
b
3: delete some
a
ccidental debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
an Carpenter
use
r
_data2: don't
s
et parameters to user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
Dan Carpenter
user_data2
:
handle skb->dat
a
math a little b
e
tt
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-16
D
a
n Car
p
enter
user_
d
a
t
a
2
: re-work handling o
f
skb->da
t
a
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
enter
p
ars
e
_call_mat
h
: work around for
l
oops
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
D
an Carpenter
leak
s
:
don't complain i
f
w
e
overwrite NULL pointe
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
f
r
ee: ignore
i
m
possible code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
shift_to_
z
ero:
m
ake th
e
e
r
ro
r
mes
s
age mo
r
e
informativ
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan
C
a
r
pe
n
ter
test
_
bit: a
d
d
test_and_cle
a
r_
b
i
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Ca
r
penter
smdb
.
py: print the re
t
urn_implies value
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpen
t
er
db/fixup_kernel
.
sh:
i
gn
o
re do_loop_read
v
_
w
ritev()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Da
n
Carpenter
extra: set hard max
i
f a function is called with a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
extra
:
fix hand
l
ing
of known c
o
nditions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Car
p
ent
e
r
param_limit: don'
t
set some unch
a
nged limits
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: preven
t
slow downs spl
i
tting ret
u
rns
a
part
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-03-15
Dan Carpenter
db: se
t
parse
_
error if the SQ
L
fa
i
ls
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-16
Dan Carpenter
p
a
r
am_set: handle if the parent was
s
e
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
b
uf_size: fi
x
type
_
bytes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-02-10
Dan Carpenter
db: filter point
e
r calls by function sig
n
atu
r
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpe
n
t
er
implied:
r
ev
e
rt "tiny
speed
u
p"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
a
n Ca
r
p
e
nter
ass
i
gn_vs_c
o
m
p
are: warn about "if (foo =
&bar) "
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Car
p
enter
t
y
p
e: fix type_bi
t
s() for arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
arpenter
sh
i
ft_to_z
e
r
o: do
a
small clean up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
D
an Carpente
r
smatch
.
c:
r
e
move a blank l
i
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
C
a
r
p
en
t
er
db:
s
pl
i
t return stat
e
s b
y
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 Car
p
en
t
er
extra:
fil
t
er PA
R
AM_V
A
L
UEs w
i
th b
o
th extra and real_absolute
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
m
a
th: ha
n
dle -foo better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan
Ca
r
penter
helper
:
i
n
t
roduce get struct
a
nd memb
e
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Da
n
Carpenter
im
p
lied: tiny speed up
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rp
e
nter
implied: small cleanu
p
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpenter
range
s
: handl
e
bitwise AN
D
opera
t
ions
b
e
tter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Carpent
e
r
r
e
al_abs
o
lute: int
r
oduce get_real_abso
l
ute_var_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan Ca
r
pe
n
ter
av
l
: add a short cut for when there
a
r
e no st
a
t
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-27
Dan C
a
rpenter
t
y
pe_val: handle |= type a
s
signments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-23
Da
n
Carpenter
db:
rename "fu
n
ction_type_info" table to "function_
t
yp
e
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_d
a
ta2: if a user_
d
a
ta is equal to
n
on-
u
ser d
a
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
pre-
p
r
ocess: try find any include that loo
k
s li
k
e
i
t
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Carpenter
c
omp
a
ri
s
on: remove s
o
me loc
a
l_debug information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Ca
r
p
e
n
te
r
db/fixup_kernel
.
sh
:
wri
t
e
t
o th
e
temporary DB instead
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpente
r
e
x
tra: fix type iss
u
e
h
an
d
ling
+
+
= and --= operati
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpe
n
ter
math: remove unco
m
mitted
f
unction ca
l
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
math: fix handling of sizeof() __le16 types
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpen
t
e
r
math: handl
e
real_absolute var
i
ables more acc
u
rately
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
enter
real_abso
l
ute: ignore iterator p
r
e statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
an Car
p
enter
h
e
lper: In expr_to_str() remov
e
extra parenthes
i
s around
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan
C
arpenter
db:
i
ntroduce
sql_insert_data_info_
v
ar_
s
ym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan C
a
rpen
t
er
db:
us
e
"extern"
instead of t
h
e
f
ile
n
ame for globals
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
D
a
n Carp
e
nter
sparse: introduce parse_error variab
l
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_data2: handle fu
n
ctions that merely retu
r
n passed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carp
e
nte
r
hooks: int
r
oduce AS
S
IGN
M
ENT_HOOK_AFTER
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpenter
db: gi
v
e
up
h
a
n
dling function
p
ointers
if the
r
e are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan C
a
rpent
e
r
user_data2: r
e
move som
e
debug
p
rintfs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
D
a
n Carpen
t
e
r
use
r
_data2: don
'
t set the
function itself t
o
user_data
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpe
n
ter
user_
d
a
ta2: im
p
r
ove han
d
ling w
h
en we return user da
t
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-17
D
an C
a
rpenter
function_ho
o
ks: don't
m
ark
i
t as i
m
p
o
ssible
i
f a function
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-14
Dan
C
arpen
t
er
comparison: modify
t
he links at at s
t
art of an assign
m
ent
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
d
b: cleanup get_row_count()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
ente
r
implied: rename a function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpente
r
estate
:
a
d
d an est
a
te_
i
s_em
p
ty
(
) functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
d
b
/ker
n
e
l
.
no_inline
:
d
on
'
t p
a
rs
e
the bite swap fun
c
t
i
ons
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
kernel: parse ATOMIC_SET(
)
manua
l
ly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/ke
r
nel
.
retur
n
_fixes: a
d
d some more f
i
xes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan Ca
r
penter
db/fixu
p
_kernel
.
sh: handle
_
_k
e
rnel_writ
e
(
)
a bit better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
Carpen
t
er
vim_db: handle older versions of
v
im
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
db/fi
x
up
_
kernel: h
a
ndle __bu
i
ltin_bswap64()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
an Carpen
t
er
f
unc
t
ion_hooks: cha
n
ge order of how db
verse implied
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n Carpen
t
e
r
param_lim
i
t: don't inse
r
t e
m
pty states into
the d
b
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Carpen
t
er
range
s
: use a hack
a
round so when merging ranges of
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan
Ca
r
penter
typ
e
_val: fix a mem
o
r
y leak
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
function_hooks, db: handle PARAM_L
I
MI
T
for struct memb
e
rs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpen
t
er
implied: fix
a
bug handling p
a
ramete
r
implic
a
tio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
n
t
er
i
mplied: add
m
ore debug inform
a
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-05
Dan
C
a
r
penter
db: sort
return_sta
t
e
s
b
y
f
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: tiny cleanup h
a
ndling assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpent
e
r
flow: remove an unneeded condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2017-01-04
Dan
Carpen
t
er
fl
o
w: rename a
variable "t
m
p" -> "right
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
kernel
.
ign
o
red_macros: add LASSERT() from lustre
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan C
a
rpenter
function_
h
ooks
,
db: use IN
T
ERNAL as the
mar
k
er for
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpente
r
db
:
handle fu
n
ction
pointers
b
e
t
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus
V
illemoes
chec
k
_ker
n
el_print
f
.
c: %pj ende
d
u
p
b
e
i
n
g %pG
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasmus Villemo
e
s
c
h
eck_ker
n
el_printf
.
c
:
handl
e
new
definition of
K
ERN_CONT
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-12-12
Rasm
u
s Villemoes
che
c
k_
k
ernel_pri
n
t
f
:
check th
a
t %pg gets a bloc
k
_d
e
v
i
ce
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Da
n
Carpenter
use
r
_data2
:
math: fun
c
ti
o
n
c
alls sho
u
l
d
be
handled
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-30
Dan
Carpenter
m
a
t
h:
f
ix a typ
e
issue with MOD
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-28
Dan
Carpente
r
u
n
t
r
acked_param: fu
n
ctio
n
s that
ar
e
too
hairy a
r
e untrackable
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carp
e
nter
addre
s
s
: simplify
is_n
o
n_
n
ul
l
_array()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan
C
arp
e
nte
r
type_val: use the
c
or
r
e
ct type in get_db_type_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
implied:
f
ix a
bug
with borrow
e
d
i
m
plicatio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
f
l
ow: handled decl
a
red labels bette
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2016-11-09
Dan C
a
rpenter
ranges: read
u
6
4
max correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next