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
smatch: add a --succeed option
2018-12-07
Dan Carpenter
s
ma
t
ch: ad
d
a
--succeed
o
ptio
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Add illumos p
r
ojects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
C
o
nv
e
rt some sm_msg
(
) i
n
t
o
more
specific
reporting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Convert sm_
m
sg() with an error:
p
refix into sm_error()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
on
C
onve
r
t
a
ll
sm_msg("warn:
.
.
"
into sm_warning()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n
L
e
von
Reg
u
l
a
r
i
se err
o
r repor
t
i
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
D
an Carpenter
db: make escape
_
newlines() take a const
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan
Carp
e
nter
parse
.
h: crea
t
e stmt_
g
et_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
c
o
nstr
a
i
nts: escape SQL statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
an Carpenter
stateme
n
t_cou
n
t: re
c
ord
h
ow man
y
statements there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Da
n
C
arpenter
extra/db
:
silence an
inv
a
l
i
d SQL
w
a
r
ni
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
buf_size: fix handling
o
f 1 element
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan
Carpente
r
db:
s
ql debu
g
mode was
exec
u
ting
the S
Q
L
t
w
i
ce
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
ar
p
ente
r
test_bit: add test_
a
nd_s
e
t_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: introduce __smatch_
m
em()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db:
d
on't save s
t
ruct
m
e
mbers for
i
ntegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
enter
i
m
plie
d
: remove
a
n unnecessary NULL che
c
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
nul_terminat
o
r:
e
xport the is_
n
ul_termina
t
ed() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kp
a
tc
h
: use git instead of try
i
ng to
create diffs b
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
stru
c
t_assignment: ha
n
dle unions as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
missing_break: turn
i
t
of
f
by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
free_strict: fix
s
o
m
e fa
l
s
e
p
osit
i
v
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Re
v
ert "Look across the
entire compile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
e
von
Look across
the
e
ntire compile
line for smatch
a
r
g
uments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
s
parse: a
d
d -
W
empty-character-constant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
L
ev
o
n
sparse: add -Wbig-constants
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
spars
e
: add -Wno-non-ansi
-
f
unct
i
o
n
-declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
L
evon
sparse: correct
l
y
h
andl
e
"
-
D foo
"
and "
-
U
f
o
o
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc V
a
n Oosten
r
yc
k
f
i
x: spac
e
s
in macro defin
i
tion
on the command line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
I
ntro
d
uce skipped
_
func
t
ions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
Fix escap
e
_n
e
wline
s
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
sparse: lib
.
c
should hand
l
e b
e
ing built 32-bit, compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
s
parse: define __x86
_
6
4
; some
software
c
h
ecks 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
p
e
c
i
fied, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Car
p
en
t
er
trinity:
P
r
oof of concept to
auto-generate trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
user_d
a
ta: rename
t
o
s
m
a
tch_ker
n
el_user_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
C
a
rpenter
assigned_expr: r
e
name t
o
s
m
a
tch_assigned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpen
t
er
s
mat
c
h:
make the --enable/di
s
able options take strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John
L
evo
n
clock() is
a
l
r
e
ady defined on
i
l
lumos, 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 some
o
l
d sourc
e
s
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Use
$(CFL
A
GS) w
h
en comp
i
li
n
g smatch
.
c itself
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n Carpenter
smatc
h
_
n
u
l_
t
erminated
:
fix c
o
m
p
i
le
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
un
t
racke
d
_param: fix a N
U
L
L
de
r
e
f
e
re
n
c
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Car
p
enter
uninitialized: fix a crashing bu
g
parsing
"return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
n
u
l_terminator: track wh
e
n string
s
have a NUL t
e
rminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user
_
data2: fi
x
a type iss
u
e
in ca
l
l
e
r_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rp
e
nter
u
s
e
r
_data: i
n
t
egers can
'
t be
d
er
e
ferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
an C
a
rpenter
comparison: make a buffer
larger to make GC
C
happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
dat
a
_s
o
urce
:
track assign
m
ent
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
e
nte
r
extra: p
r
e
v
ent
a
divide by
z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
modificat
i
on
_
hooks: use
t
he DB
f
or frob(&
f
oo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
s
v
al: introduc
e
sval_binop_ove
r
flows_no_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpente
r
extra:
u
ndo b
o
g
u
s
u
nop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpe
n
t
er
arr
a
y_values: fi
x
up
a
n
d s
u
p
p
ort two dimensio
n
al loc
a
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
an Ca
r
p
enter
p
aram_set
:
don't re
c
ord a
p
a
r
am_
s
et for
p
+
+ c
h
an
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
func
t
ion_hoo
k
s
:
re-hack
around
moving the f
a
ke
p
a
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
p
e
nter
array_value
s
: store arr
a
y va
l
ues of s
t
ruct
m
e
mb
e
r
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
enter
function_hooks: hack arou
n
d
fallout from moving the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Car
p
enter
compar
i
s
on
:
don't return in
v
alid params in get_mask_com
p
arison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
d
b
:
don't
p
r
int "failed to open" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
t
e
r
pa
r
am_
s
e
t
: remove som
e
dead cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
mtag
:
temporarily di
s
able ge
n
erating mtag for kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
expres
s
ions: don't crash on i
n
valid co
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
extra
:
fi
x
a type b
u
g in inserting
i
nfo into caller_i
n
fo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
ke
r
ne
l
:
don't in
s
ist
t
hat
t
he parame
t
er
is named "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Car
p
enter
ext
r
a: ex
p
ort is_
i
m
p
ossible_variable()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
f
lo
w
: fix
a crashin
g
bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
function_
h
ooks: do the fa
k
e pa
r
a
meter assignment after
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
par
a
m_limi
t
: fix generify_mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
extra: clear_poin
t
e
d
_
at_
s
tate() is a nomod state
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
p
aram_set: handle
when the
s
tack var
i
a
b
l
e was mo
d
i
fied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
Carpenter
parse_call_mat
h
: don't s
a
y the ret
u
rn
i
s equal to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
enter
scope: fix is_outer_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
sval:
h
a
n
dle ca
s
ting to bo
o
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
a
rr
a
y_v
a
l
u
e
s
: don'
t
crash o
n
invalid
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no_spec: rec
o
r
d
w
hen functions have a ba
r
rier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
an Carpent
e
r
extra/typ
e
:
f
i
x type of
r
e
t
ur
n
P
ARAM
_
ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n
Carpenter
pa
r
a
m_limit:
mak
e
mtag limits more generic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_set: don't save if the
p
arent is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
a
t
omic_inc_d
e
c
:
a
dd a co
u
ple more functio
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
pe
n
ter
s
i
gned_in
t
e
g
er_o
v
erflow: ignore this for t
h
e k
e
rnel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: handle conditionals like: "a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
p
enter
nospec: don'
t
f
i
l
l the
D
B up w
i
th garbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carpent
e
r
si
z
eof: fix
NULL dereference parsing invali
d
cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pe
n
ter
st
r
ings
:
truncating large strings
ca
u
ses SQL pro
b
le
m
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
e
n
ter
type_val
:
don't
d
ouble record globa
l
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
target
:
man ssize_t be uns
i
gn
e
d long inst
e
ad of uns
i
gned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carpenter
extra: don't reset impossi
b
l
e states a
f
ter a condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Car
p
ente
r
a
r
ray: store possible ar
r
ay v
a
lu
e
s fo
r
sim
p
le
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpen
t
er
mtag: H
A
CK:
return false if the
m
tag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
flow: fake an assign statemen
t
for global i
n
itialize
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpen
t
er
flow: tweak
how f
u
nction time
o
uts h
a
ppen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpente
r
db: fi
x
a
type bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
smatch_flow: don't parse
inline
fun
c
tions
af
t
er we
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
D
an
C
a
r
p
enter
mtag: add string in
f
ormat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow: hand
l
e __builtin_mul_overfl
o
w()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan C
a
rp
e
nter
kernel_
p
ri
n
tf:
s
ile
n
ce "spec
i
fier is cast
fr
o
m pointer
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nosp
e
c: turn off
s
peculati
o
n at r
m
b
(
)
,
sm
b
_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan C
a
rpenter
check_signed: ignore fake a
s
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan
C
arpenter
mtag_data:
clear cache at s
t
a
r
t of function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next