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
Add illumos projects
2018-12-06
J
ohn
L
e
von
A
d
d illumos projects
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levo
n
Conv
e
r
t
som
e
s
m_
m
sg
(
)
into
more
specific reporting
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
J
ohn Levon
Convert sm
_
msg() with an err
o
r: p
r
efix
into sm_
e
rror()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Con
v
ert
a
l
l
sm_msg("warn:
.
.
" in
t
o sm_warning()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
R
egularise error re
p
orti
n
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan C
a
rpenter
db: make escape_newli
n
es() take a const poi
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
Carpenter
p
a
r
se
.
h: create stmt_g
e
t_parent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Carp
e
n
ter
constraints: escape SQL statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
s
tate
m
e
nt_c
o
unt: r
e
cord how many
s
tate
m
ents there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carp
e
nter
extra
/
db: silen
c
e
a
n in
v
ali
d
SQL warn
i
ng
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Ca
r
p
enter
buf_size: fix hand
l
in
g
of 1 element
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
D
a
n Carpente
r
d
b: sql de
b
ug mode was executing
the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nter
test
_
bit: ad
d
test_a
n
d_
s
et_bi
t
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: introduce
_
_smat
c
h_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
d
b: don't save
struct
mem
b
ers
f
or integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implie
d
: r
e
mo
v
e a
n
unn
e
cess
a
ry NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carp
e
nter
nul_terminato
r
:
export the is_nul_terminated
(
) fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpe
n
t
e
r
kpatch: use git instead of trying to c
r
eate diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carp
e
n
ter
struct_assignment: handle union
s
as
wel
l
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
m
i
ssing_
b
r
eak
:
t
u
r
n it off
by
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
free_stri
c
t
: fix
some
f
alse positiv
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Revert "Look across the entire compile l
i
ne for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Look across the entire compile
line
f
o
r smatch arg
u
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John
Levon
sparse: add -Wempty-c
h
a
r
ac
t
er-co
n
stant
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Lev
o
n
s
parse: ad
d
-Wbig-c
o
n
s
ta
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse:
a
dd
-Wno-non-ansi-function-declaration
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sparse: c
o
rrect
l
y ha
n
d
le "-
D
foo" and "-
U
foo"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Luc V
a
n Oostenryc
k
fi
x
:
spac
e
s
i
n
macro de
f
initio
n
on th
e
command line
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Lev
o
n
I
n
troduce skipped_functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix e
s
cape_newlines(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
sparse: lib
.
c s
h
ould handle
being built
3
2
-bit, compiling
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
o
n
sparse: define _
_
x86_64;
s
ome s
o
ftware
c
h
e
cks for t
h
i
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
Allo
w
additional CFLAGS to
be
s
pecified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carp
e
nter
trinity: Proof
o
f co
n
cept to auto-gene
r
a
t
e
trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
C
a
rpenter
user_data:
r
ename
t
o smatch_ker
n
el_u
s
e
r_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
C
ar
p
ent
e
r
as
s
igned_expr: ren
a
me to s
m
atch_assigned_
e
xpr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpente
r
s
match: make
the --enabl
e
/disable options take s
t
rin
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John L
e
von
clock()
i
s alrea
d
y defined
o
n illum
o
s, s
o
rena
m
e the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
J
ohn
Levo
n
I
gnore "#ident" as fo
u
nd
i
n
so
m
e
o
ld sources
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
John
L
e
von
Use $(CFLAGS) when compiling smatch
.
c it
s
el
f
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpent
e
r
smatch
_
nul_terminated: fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n
Carpente
r
u
ntr
a
c
k
ed
_
param:
f
ix a NULL derefe
r
ence
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan
C
arpen
t
er
u
n
initializ
e
d: fix a cra
s
h
i
ng bug pa
r
sin
g
"re
t
urn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
Da
n
Carpenter
nul_term
i
nator: track when string
s
h
ave a NUL
t
erminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
pen
t
er
use
r
_da
t
a2
:
fix
a
typ
e
issue in caller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
us
e
r_data: integer
s
ca
n
't be derefere
n
ced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
compar
i
son: mak
e
a b
u
ff
e
r larger
to make GCC hap
p
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n C
a
rpenter
data_source: track ass
i
gnments bette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
ex
t
ra
:
prevent a divide by zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpe
n
ter
m
odifi
c
at
i
on_hooks:
u
se the DB
f
o
r
frob
(
&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
s
v
al:
int
r
o
d
uce s
v
al_b
i
nop_overflows_
n
o_sign()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Ca
r
p
enter
e
x
tra: undo b
o
g
u
s unop changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
array
_
values
:
f
ix up and su
p
port two dimensional l
o
ca
l
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
para
m
_set: don
'
t record
a para
m
_set
for p++ chan
g
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
D
an Carpenter
f
un
c
tion_hooks: re-hack around
moving
the fake p
a
ra
m
ete
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
array_values: store array value
s
o
f struct memb
e
r arra
y
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpent
e
r
function_hooks:
h
ac
k
around f
a
llout from moving the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpente
r
comparison
:
don't retur
n
invalid params i
n
get_mask_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: don't print "
f
ail
e
d to open" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
param_set:
remove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
ar
p
enter
m
tag: temporarily disabl
e
ge
n
erating
m
tag
f
or kmalloc()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpenter
e
x
pressions
:
don't
c
r
a
s
h on in
v
alid cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extra:
f
i
x a type bug in ins
e
r
t
ing info
i
nto cal
l
er_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
kern
e
l:
d
on't insist
that the pa
r
ame
t
er is
n
a
m
ed "error"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carp
e
nter
extra
:
export is
_
im
p
ossible_va
r
i
able()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
flo
w
: fix
a
crashing bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
function
_
hooks:
d
o the
fake pa
r
am
e
ter
a
ss
i
g
n
ment a
f
ter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpente
r
p
ara
m
_limit
:
f
i
x generify
_
mtag_range()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extr
a
: cle
a
r_
p
o
i
nted_at_state() is a nomo
d
sta
t
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: hand
l
e when the sta
c
k variable was modified
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
pe
n
ter
p
ar
s
e_call_math: don't say the return i
s
e
q
ual to a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
e
nter
scope
:
fix is_outer_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sval: ha
n
dle casting to
bool
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
ar
r
ay_values
:
don't crash on
i
nv
a
lid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
no
_
s
pec: record whe
n
func
t
ions have a barrier
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n Carpenter
extra
/
t
ype: fix type of r
e
tu
r
n PARAM
_
ADD/SET
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-14
D
an
Carpen
t
er
param_li
m
it
:
make mtag l
i
mits more gene
r
ic
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpe
n
ter
p
a
ram_
s
et: d
o
n't save if the parent is set
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpe
n
ter
atom
i
c
_
inc_dec
:
ad
d
a
couple more functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
signed_
i
nteger
_
o
v
e
rf
l
o
w
: ignore
this
f
or the kernel
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
mat
h
: handl
e
conditional
s
like: "a = b?: c;"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
an Ca
r
penter
nospe
c
:
d
on't fill the
D
B up with
g
a
rbage
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
size
o
f: fi
x
N
U
LL d
e
reference pars
i
ng invalid c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Car
p
enter
str
i
n
g
s
:
truncating large strings causes
SQL
problems
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n Carp
e
nter
t
ype_va
l
: do
n
't doub
l
e
record globals
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
targe
t
:
m
an ssize_t
be u
n
signed long instead
o
f unsig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
rpenter
e
xtra:
d
on't rese
t
i
m
possible st
a
t
e
s after a c
o
n
diti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carpen
t
er
array: store po
s
si
b
le arr
a
y
values for s
i
mple ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpen
t
er
mtag: HACK: r
e
tu
r
n false if th
e
mtag is zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
penter
f
l
o
w
: fake an assi
g
n
st
a
t
e
ment f
o
r
g
l
obal initializers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan
C
arpenter
flow: twea
k
how fu
n
ction timeouts happen
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
d
b
: f
i
x a t
y
pe bug
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
ent
e
r
sm
a
tch_flo
w
: don't parse inlin
e
functions a
f
ter w
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpent
e
r
mtag: add stri
n
g information
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
f
l
ow: handle __bui
l
tin_mul_overflow()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-29
Dan
C
arpenter
kernel_print
f
: silence "sp
e
cifier is cast from pointe
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan
C
arpenter
nospec: tu
r
n off specula
t
ion at rmb()
,
sm
b
_rmb() and
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
er
c
h
eck_signed:
i
gnore fake
ass
i
gnments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carpenter
mtag_dat
a
: clear cache at start
o
f f
u
ncti
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Ca
r
penter
nospec: fix uninitia
l
i
z
e
d po
i
nter crash
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next