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 Ca
r
penter
smatch
:
a
d
d a --
s
uc
c
eed opt
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Levon
A
d
d
i
llumos pro
j
e
cts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Lev
o
n
Conv
e
rt
s
ome sm_msg()
into more specific reporting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Le
v
on
Conve
r
t sm_msg() with an error: pref
i
x in
t
o s
m
_error()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Levon
C
o
n
v
ert all sm_msg("warn:
.
.
" into
sm_warning(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
R
e
g
ularise
error
reporting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan C
a
rpente
r
d
b
: make escape_newline
s
() take a const
p
ointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
par
s
e
.
h: cre
a
te stmt_get_parent_stm
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
constra
i
nts: escape SQL stateme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan
C
arpenter
statement_count: record how many s
t
a
t
em
e
nts
t
here are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
D
an Carpen
t
er
extra
/
db
:
si
l
en
c
e an invalid SQL warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpent
e
r
bu
f
_
s
ize: fix h
a
ndling of 1 elem
e
nt arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql debug mo
d
e was executin
g
t
h
e SQL t
w
i
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
C
a
r
p
en
t
er
test_bi
t
: add
t
e
st_and_set_
b
it()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
de
b
u
g
: int
r
oduce
__smatch_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: don'
t
save struct m
e
mbers fo
r
integer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
i
m
plied: remove an unnecess
a
ry NULL chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
n
ul_terminator: export
t
he is_nu
l
_
t
erminate
d
() functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kpatch:
use gi
t
instead of trying to crea
t
e diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Ca
r
pe
n
ter
struct
_
assignm
e
n
t
: han
d
le unions as
w
ell
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
missing_break: tur
n
it off
b
y default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpen
t
er
fr
e
e_s
t
rict: fix some
false
p
ositi
v
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
R
evert "Look across the entire
co
m
pile line for s
m
atch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
Look across the en
t
ire
com
p
i
l
e line for sm
a
t
ch arguments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add
-
We
m
pty-ch
a
racter-
c
onsta
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
sparse:
add -Wbig-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn Levon
spars
e
:
a
dd -Wno-non-a
n
si-function-declarat
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John
L
e
v
on
s
p
a
rs
e
:
correctly handle "-D foo" and
"
-U fo
o
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Ooste
n
ryck
fix: spaces in ma
c
ro
d
efinition on the command
line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
I
n
troduce
skipped_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Fix
e
scape_newlines()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
oh
n
L
e
vo
n
spar
s
e: lib
.
c should handle being built 32-
b
it, compi
l
ing
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
L
evon
s
p
a
r
s
e: def
i
ne __x
8
6_64; some
s
oftware checks
for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
h
n Levon
Allo
w
a
dditiona
l
CFLAGS
to be specified, e
.
g
.
"CFLAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan
C
arpenter
trinity: Pro
o
f of co
n
cept to auto-gen
e
r
a
te trini
t
y
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carp
e
nter
us
e
r_data
:
rename to 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_e
x
pr: rena
m
e
to smatc
h
_ass
i
gn
e
d_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rp
e
nte
r
sm
a
tch: make the --enable/d
i
sable options
take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Levon
clock() i
s
a
l
r
eady
d
e
f
ined on illumos
,
so rename t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levo
n
Ignore "#ident"
as
found in some old sources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Use $(CFLAGS) when compiling smatch
.
c
i
t
self
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Car
p
enter
smatch_nu
l
_termina
t
ed:
f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untracked_param: fix a NULL de
r
ef
e
rence
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
uninitiali
z
ed: fi
x
a crash
i
ng
bug
parsing
"
retu
r
n
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan Carpenter
nul_t
e
rmi
n
ator: t
r
ac
k
when strings have a
N
UL te
r
m
i
n
ator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
er
user_data2:
f
ix a type issue in caller
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
C
arpe
n
ter
u
se
r
_d
a
ta:
integers can't be dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
c
o
mparison
:
m
a
k
e a buff
e
r larger to
m
ake
G
CC ha
p
py
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
data_source: track assignments
bet
t
er
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpenter
extra: preve
n
t a divid
e
b
y
zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
C
a
r
pent
e
r
modific
a
t
i
on_hooks: use the D
B
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
C
arpenter
sval: introd
u
c
e sva
l
_binop_overflows_no_
s
ign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan
C
arpenter
extr
a
: und
o
bogus unop c
h
anges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
array_v
a
lues:
fix up and
suppo
r
t two dimensiona
l
local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
a
n Ca
r
pen
t
er
param_se
t
:
d
o
n't
record a param_se
t
for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
f
unction
_
hooks: re-
h
a
ck around moving t
h
e fake p
a
rameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
D
a
n Ca
r
penter
arra
y
_value
s
: store array values of s
t
ruct member a
r
r
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Ca
r
penter
function_hoo
k
s: hack a
r
o
un
d
fallout from movi
n
g t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpenter
compa
r
ison: don
'
t
ret
u
r
n
i
nv
a
lid p
a
rams in g
e
t
_
mask_comparison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpente
r
db: don
'
t print "failed
to op
e
n" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_set: remove s
o
me dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag: tem
p
orarily disa
b
le gen
e
r
a
ti
n
g m
t
ag f
o
r
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
ex
p
res
s
ion
s
: don't crash
on
invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
extra: fix a type bug in inserting i
n
fo into caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kerne
l
: don't insist
that
t
he paramete
r
is named "er
r
or"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
arpenter
extra
:
ex
p
ort is
_
impossible_va
r
i
a
b
le()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
flow: fix
a
cras
h
ing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpente
r
functi
o
n_h
o
oks:
d
o the fake pa
r
ameter assignment
after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
param_limit: fix generify_m
t
ag_ran
g
e(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
penter
e
xtra:
cl
e
ar_pointed_at_sta
t
e(
)
is a nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
pa
r
am_set: handl
e
when
the stac
k
variable was modifie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
parse_cal
l
_math: don't say
t
he return 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_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
sval: handl
e
casting to
b
ool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Ca
r
penter
a
rray_values: don't crash on invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
te
r
no_spec: record
when functions
h
av
e
a barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Carpen
t
er
extr
a
/type: fix type of return
P
ARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
penter
para
m
_lim
i
t: make mtag limits more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpen
t
er
p
a
ram_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
Da
n
Carpenter
atomic_inc_dec:
a
dd a couple more f
u
nc
t
ions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
penter
signe
d
_inte
g
e
r
_overflow: ignore this for
t
h
e kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpen
t
er
math: handle cond
i
tionals
l
i
ke
:
"a
= b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
a
r
p
enter
nospec: don't fill the DB up with
g
ar
b
age
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Carp
e
nter
s
i
zeof: fix
NULL der
e
ferenc
e
pars
i
ng in
v
alid c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
stri
n
gs: truncat
i
ng lar
g
e strings cau
s
es SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type_val: don't double record g
l
o
b
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
n
t
er
target:
man ssize_t be
u
nsig
n
ed l
o
ng ins
t
ea
d
of u
n
si
g
ned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
p
e
n
ter
extra:
d
on'
t
reset impossible s
t
ate
s
aft
e
r a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan
Carp
e
n
ter
array: store possible ar
r
ay val
u
e
s for simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carp
e
nter
mtag: HACK:
r
eturn false if the mtag is zer
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Da
n
Carpenter
flo
w
: fake an as
s
ig
n
st
a
tement fo
r
g
lo
b
al ini
t
ializer
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan
Carpenter
f
l
ow: twe
a
k how function timeouts
h
a
p
pen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Ca
r
penter
db: fix a t
y
pe
b
u
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpent
e
r
smatch_flow: don't p
a
rs
e
in
l
ine functions after
w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
mtag: a
d
d string information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan C
a
rp
e
n
ter
flow: handle __builtin_mul_
o
verflow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
a
n
C
ar
p
enter
k
erne
l
_printf: silence "specifier is
cas
t
fro
m
pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n Carpenter
nos
p
ec:
turn off speculation at rmb(
)
, smb_rmb
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n Carpenter
ch
e
ck_si
g
ned: ignore fake
a
ssignmen
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Car
p
enter
m
t
ag_d
a
ta
:
c
l
e
ar cache at
s
tart of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next