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
db/create_db.sh: don't complain when -p=<project> is left blank
2019-02-08
Dan Carp
e
nter
db/create_
d
b
.
sh: don
'
t comp
l
ain
when -p
=
<pr
o
j
e
ct> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Ca
r
penter
d
b
/fixup
_
kerne
l
.
sh: fix
up stuff
f
rom th
e
unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpenter
v
a
lida
t
ion: update
a few tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpenter
type: commit some
m
i
s
s
ing pieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpen
t
e
r
extra: small spee
d
up in set_p
a
ram_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpente
r
hel
p
er: fix e
x
pr_
t
o_chunk_helper() for
s
truc
t
m
e
mbers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpent
e
r
c
o
mpar
i
son: p
r
int
a
"
%s" st
r
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
constraints: remove debug
g
ing and us
e
t
he stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n C
a
rpenter
db: improv
e
recording
comparison
s
to parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
arpent
e
r
implied: rem
o
ve
so
m
e duplicate
d
ebug
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
r
eal_a
b
solute
:
don't stor
e
data fo
r
arr
a
ys
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpenter
s
v
al:
rem
o
ve an extr
a
s
p
ace characte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
type: make p
o
int
e
r
s
un
s
igned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
ter
extra: t
i
ghten canonic
a
l for loop handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpenter
e
xtra: fix
f
uncti
o
n comparison
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpe
n
ter
r
a
n
g
es: improve
casting negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
i
m
plied
:
d
on't use incomplete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
imp
l
ications: remove a ma
g
ic nu
m
be
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: show compariso
n
s
trings for condi
t
ional re
t
u
rns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
an C
a
rp
e
nter
db: don
'
t store recurs
i
ve
s
truct mem
b
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carpenter
t
ype: handl
e
poin
t
er type
correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
arpenter
ex
t
ra/untra
c
ked_param: mark lost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
Carp
e
nter
address: return unkn
o
wn if we can't f
i
gu
r
e out the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Dan Carpenter
implied: tw
e
a
k
so
m
e d
e
bug s
t
a
t
ements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpe
n
ter
expressions: parse "$0->foo
.
ba
r
" c
o
rr
e
c
tly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
r
p
enter
retur
n
_to_pa
r
am:
u
se id
e
nt->len instead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
param_
s
et:
h
andle
mta
g
ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
a
n
Carpenter
assig
n
ed_ex
p
r: make it work for p
a
rameter assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpenter
equiv: us
e
DB informati
o
n to set
extra
s
tate in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan C
a
r
p
ent
e
r
extra:
impr
o
v
e get
_
other_name_s
y
m()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
D
a
n
C
arpenter
e
xtra: futz around
w
ith get_other_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan C
a
rpen
t
er
h
e
l
per: improve get_
m
ember_name()
fo
r
anonymous
struct
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carpent
e
r
db: escape new lines in
s
ave_cache_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Car
p
enter
ranges: consti
f
y call_result
s
_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
ter
ex
t
ra: filt
e
r
rea
l
ly long
u
nused par
a
m
v
alue i
n
formation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
t
e
r
extra: use ident->l
e
n
i
nstead of calling st
r
len
(
ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
db: don't create
n
ew splits
in split_
p
ositive_from_n
e
gative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
extra: fix ret
u
rned
_
struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
p
e
nte
r
param_used: fi
x
handling of call
e
d f
u
n
c
tions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
extra:
expor
t
in_warn_
o
n
_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Car
p
e
nter
typ
e
: m
i
sc sma
l
l cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nt
e
r
t
y
pe: f
i
x
g
et
_
member_from_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
kpatch
.
sh: fix spelling s/ammend/
a
me
n
d/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpent
e
r
t
y
pe: add a short cut in get_real_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
D
an Carpente
r
implied: Pr
e
serve
-
>hard_max for fake
h
is
t
o
r
y
states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extra: preser
v
e hard_max
after
c
omparisons
t
o z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
slist: make
sm->childre
n
a sma
l
ler
t
y
pe
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpent
e
r
slist:
rename variables in __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpen
t
er
slist: handle the fast p
a
t
h
i
n __merge_str
e
e()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
s
l
ist:
s
i
m
p
l
ify __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan
Car
p
e
nter
nospec: don't record nospec parameter info
w
hich
hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
D
a
n Car
p
e
nt
e
r
dma_mapping_er
r
or
:
update to
o
nly com
p
lain
a
bout legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-11
John
L
ev
o
n
Remove -Wempty-characte
r
-constant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan C
a
r
p
e
n
ter
sma
t
ch: add a
-
-succeed opt
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
o
h
n
Levon
A
dd illumos proj
e
cts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert
some sm_msg() into
mo
r
e specific rep
o
rting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
on
Convert sm_msg(
)
with an
error: prefix into sm_error(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Lev
o
n
Convert all
sm_msg("wa
r
n
:
.
.
"
i
nto sm_warni
n
g()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Regularis
e
error rep
o
r
ting
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan
C
arpenter
db: make e
s
cape_
n
ewlin
e
s() take a cons
t
po
i
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
p
arse
.
h: cre
a
te stmt
_
get_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
co
n
s
traints:
escape SQL st
a
tements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan
Carpenter
statement_count: re
c
ord how many statements there
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan
Carpent
e
r
ext
r
a/db:
silence an
i
nvalid SQL warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Car
p
enter
buf_size: fix handling of 1 element
a
rrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql debug mode was e
x
ec
u
ting the SQL twic
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_b
i
t
:
a
d
d te
s
t_and_
s
et_
b
it()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nter
debug: introduce __smatch_mem
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
db: don't save struct members for
i
ntegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arp
e
n
ter
implied:
r
e
m
ove
an u
n
nec
e
ssar
y
NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_terminator: export the is_nul_terminated() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
kpatch: use gi
t
instead
of tr
y
i
ng to cr
e
ate diffs
by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
st
r
u
c
t_assi
g
nment: handle un
i
ons as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
m
i
s
sin
g
_b
r
eak: turn it off by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
f
r
ee_s
t
rict: fix s
o
me false positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
Revert "Look acr
o
s
s the entire comp
i
le
l
ine for
s
match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levo
n
Look across the entire compile line for sma
t
ch argu
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
p
ar
s
e
: add -Wempty-character-constant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
sparse: add
-
Wbig-constan
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse:
a
dd -Wno
-
non-ansi-
f
unction-decl
a
ration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
spars
e
: cor
r
ectly hand
l
e "-D foo" and "
-
U foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van
Oostenryck
fi
x
: sp
a
ces in macro de
f
inition o
n
the
command line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Intr
o
duce ski
p
ped_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
Fix escape_newlines(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
sparse: lib
.
c should
h
andle being bui
l
t 32-bit, compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
sparse: d
e
f
i
n
e __x86_64; som
e
software checks f
o
r
this
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Al
l
ow additi
o
nal CFL
A
GS to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan C
a
rpe
n
ter
trinit
y
: Proof of co
n
cept to
a
uto-generate trinit
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
user
_
d
a
ta: r
e
name
to smatch_k
e
r
n
el
_
user_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
a
ss
i
gned_ex
p
r: r
e
nam
e
to sm
a
tch_
a
ssigned_
e
xpr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
an
C
ar
p
e
n
ter
smatch:
m
ake th
e
--enable/disable options tak
e
strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
cloc
k
() is a
l
read
y
defined
o
n illumos, so rename the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ignore "#ident
"
as found in so
m
e o
l
d
so
u
r
ces
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Levon
Use $
(
CFLAGS) when compiling
s
m
at
c
h
.
c itself
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
smatch_n
u
l_te
r
minated: fix
compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
untr
a
cked
_
param: f
i
x a NULL dereference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitializ
e
d
: fix a crash
i
ng bug parsing "r
e
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
an Ca
r
penter
nul_te
r
minator: track when stri
n
g
s have a NUL terminat
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
C
a
rpenter
user_data2: fix a ty
p
e issu
e
in
caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpente
r
user_da
t
a: integers c
a
n't be deref
e
renced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next