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
param_used: fix handling of called functions
2019-01-16
Dan
Carpenter
para
m
_used: fix handling of call
e
d funct
i
ons
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
extra:
e
x
p
ort in_warn_on
_
macro()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carp
e
nter
type
:
misc sma
l
l cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type:
f
ix
get_member_from_str
i
ng()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
kpa
t
ch
.
s
h
: fix spellin
g
s/am
m
end/ame
n
d/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: ad
d
a
s
hort cut in
get
_
rea
l
_
base_typ
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan C
a
rpenter
imp
l
ied: Preserve ->hard_max for fake history
states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpente
r
e
x
t
r
a: preserve ha
r
d_max aft
e
r comparisons to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
Carpenter
slist: make sm->children a
smaller type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
sl
i
st
:
rename variab
l
e
s
in __
m
erge_str
e
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Car
p
enter
slist: ha
n
dl
e
the
f
as
t
path in __
m
erge_stre
e
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpent
e
r
slist: simpli
f
y __merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
nospec: don't record
nospec parameter info
w
hic
h
hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Dan C
a
r
p
e
nter
dma_
m
ap
p
ing
_
er
r
or: update to o
n
ly complain about legacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-11
John Levon
R
emove -Wempty-character-consta
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
Dan Ca
r
pente
r
smatch
:
add a
-
-succeed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Lev
o
n
Add illumos projects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Convert some
sm_ms
g
() i
n
to
m
ore specific repor
t
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert sm_m
s
g()
w
ith an error: prefix into sm_error()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Joh
n
Levo
n
Convert all s
m
_msg("warn:
.
.
"
into
s
m
_wa
r
ning()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John L
e
von
Regular
i
se error repo
r
ting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan Carp
e
n
ter
db:
m
ake escape_newlines()
take a
c
onst pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpente
r
parse
.
h: create
stm
t
_get_pa
r
ent_s
t
mt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
ter
co
n
straint
s
: esca
p
e
S
QL s
t
at
e
ments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Ca
r
pe
n
ter
state
m
ent_count:
r
ecord how many statemen
t
s th
e
r
e
are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan C
a
r
p
enter
ext
r
a/db: sile
n
c
e an invalid
S
Q
L
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
bu
f
_s
i
ze: fix handling o
f
1
element arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpe
n
ter
db: sql deb
u
g m
o
de wa
s
executing th
e
SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpen
t
er
test_bi
t
: add test_an
d
_set_bi
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
d
ebug: intr
o
duce __smatch
_
mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db:
don't
s
ave
s
t
ruct members fo
r
integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
i
mp
l
ied: r
e
move a
n
unn
e
cess
a
ry NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
a
r
pent
e
r
nul_
t
ermina
t
or: expo
r
t
the is_nul_terminated() fun
c
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
enter
kpa
t
ch: u
s
e g
i
t
i
n
s
tead
o
f trying to create
diff
s
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
struct
_
assi
g
n
ment: handle unions
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
n
t
e
r
missing_break: turn i
t
o
f
f
b
y de
f
a
ult
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
fre
e
_strict: fix some false p
o
sitives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
Reve
r
t "L
o
ok ac
r
oss the entire
co
m
pil
e
l
ine for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
L
o
ok a
c
ross the e
n
tir
e
compile line fo
r
smat
c
h arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levo
n
sparse
:
a
d
d
-
Wempty-characte
r
-consta
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
spa
r
se: add -Wbi
g
-
constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
e
v
on
sparse
:
a
dd
-
Wno-non-
a
nsi
-
func
t
ion-decla
r
ation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
sparse: correctly han
d
le
"
-D foo" and "-U foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van
Ooste
n
ryck
fix: spac
e
s
i
n
macr
o
d
efinition on
the command
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
I
nt
r
oduce skipped
_
functio
n
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
vo
n
Fix escape_newl
i
nes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: lib
.
c sho
u
ld handle b
e
ing built 3
2
-
bit, compi
l
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sparse: de
f
ine __x86_64; some
softw
a
re
c
hecks for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Allow
additional CFLAGS to be
s
pec
i
fied, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Da
n
C
a
rpenter
trinity: Proof of concept to a
u
to-g
e
n
e
r
ate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
u
s
e
r_da
t
a:
r
e
n
ame
t
o smatch_kernel
_
u
ser_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
assig
n
ed_expr: rename to smatch_as
s
i
g
ned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
smatch: make the --enable/disabl
e
o
p
tio
n
s take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
von
c
l
ock() is already def
i
ned on illumos, so rename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
ohn
L
evon
Ignore "#ident"
a
s found in so
m
e old so
u
rces
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John
Levon
Us
e
$(CFL
A
GS
)
w
hen compilin
g
sm
a
tch
.
c i
t
self
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpe
n
ter
smatch
_
nul_termin
a
t
ed: fix comp
i
le
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
an Carpenter
untra
c
ked_para
m
: f
i
x
a NUL
L
d
e
reference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpe
n
ter
uniniti
a
lized
:
fi
x
a crashing
b
u
g p
a
rsing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_ter
m
inator:
track
w
hen
s
t
rings
have a NUL
t
e
rminator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpente
r
user_data2: fix
a type issue in calle
r
_in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Car
p
en
t
er
user_da
t
a: integers can't
b
e
d
erefere
n
ced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
a
r
penter
com
p
a
rison: ma
k
e a buffer larg
e
r to
m
ake
GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
d
at
a
_
s
ou
r
ce:
t
rack assi
g
n
m
ents
b
etter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
extra: pr
e
v
ent a divide by ze
r
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
modifi
c
ation_hooks: use the
DB fo
r
frob(&
f
oo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
n
t
e
r
s
v
al: int
r
odu
c
e
sval_bi
n
o
p
_overflows_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan
Carpenter
extra
:
undo bogus
unop c
h
an
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
arpenter
array_values: fix up
and
supp
o
rt
tw
o
dimensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan
C
ar
p
ent
e
r
param
_
set: d
o
n't record a param_set
for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
fu
n
ction
_
hooks: re-hack a
r
o
und mov
i
ng the fake par
a
meter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carp
e
nte
r
arr
a
y_values: store array values of str
u
ct
member
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan
C
arpe
n
ter
function_hooks: hac
k
ar
o
und fa
l
lout
f
rom moving
the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpen
t
e
r
c
o
mparison
:
don't return i
n
valid params in get_mask_comparison
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
db: d
o
n't print "failed to op
e
n" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
p
a
ram
_
set: rem
o
ve some de
a
d c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
r
pent
e
r
mtag
:
temporarily di
s
able generating mtag for
kmalloc(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Car
p
enter
express
i
ons: don't crash on invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ex
t
ra: fix
a type bug i
n
in
s
erting info into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel: don't insis
t
that the p
a
ra
m
eter is named
"
e
rror"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
ex
t
ra: e
x
p
o
rt is_imp
o
ssible_variable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
flow
:
fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
funct
i
on_hooks: d
o
the
f
a
ke parameter
a
s
signment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
par
a
m_limit: fix ge
n
erify_mtag_ran
g
e()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: clea
r
_poi
n
ted_at_state()
i
s a n
o
m
o
d state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: handle when the st
a
ck
v
ariable was
modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
p
arse_call_math: don't say
t
he
retur
n
is equal to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
scope: fix
i
s
_outer_st
m
t()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
s
val:
ha
n
dl
e
casting
t
o bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carp
e
n
ter
array_values: don't
c
r
ash o
n
i
n
valid
code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
no_spec: rec
o
rd w
h
e
n
functions
ha
v
e a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n
Ca
r
p
enter
extra/type: fix t
y
p
e
of r
e
turn PARAM
_
ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpe
n
ter
param_l
i
mit: make
m
tag limit
s
more g
e
neric
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
D
a
n Carpe
n
ter
param_set: don't s
a
ve if the pa
r
ent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
atomic_inc_dec: add a coup
l
e
m
o
re functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
signed_integer_overf
l
o
w: ignore
t
his
f
o
r the kern
e
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
m
a
th: handle conditionals lik
e
: "a
=
b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpente
r
nosp
e
c
:
don't
fil
l
t
h
e
DB u
p
w
ith garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
sizeof
:
fi
x
NULL der
e
ferenc
e
parsing inval
i
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
strings:
t
runcat
i
ng lar
g
e str
i
ngs causes SQL
p
roblems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next