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
Dan Car
p
enter
db: make escap
e
_newlines() take a const pointer
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Ca
r
p
e
n
ter
parse
.
h:
c
r
eate stmt_get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Car
p
ente
r
con
s
t
r
aints: escape SQ
L
statements
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
e
r
st
a
tement_count
:
recor
d
ho
w
m
any statem
e
nts
t
here are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Dan C
a
rpenter
extra/db:
silence an invalid SQL
warning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Car
p
ente
r
bu
f
_s
i
ze: fi
x
ha
n
dling of 1 el
e
ment arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql d
e
bug mode was executing
the SQL twi
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
t
est_bit
:
add test_an
d
_s
e
t
_
bit(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
d
ebug: introduce
_
_smatc
h
_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
db: d
o
n
'
t
s
ave
s
truct members fo
r
integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
impl
i
ed: remove an unnecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpente
r
nul
_
terminat
o
r: expor
t
the is_nul_te
r
minated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carpent
e
r
kp
a
tch: use git instead of trying to cre
a
te
diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Car
p
enter
struct_a
s
s
ig
n
me
n
t: handle
u
nions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
missing_
b
r
e
ak: turn it off
b
y
d
e
fault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpenter
free_st
r
ict: fix some
f
a
l
se positive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
Revert "Look a
c
ross the
e
n
t
ire
c
ompile lin
e
for
s
match
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carp
e
n
ter
trinity:
P
roof of concept to a
u
to-gener
a
te trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
arpenter
user_data: rename to s
m
atch_kernel_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
assi
g
ned_
e
xpr:
rena
m
e to s
m
atch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch
:
make
t
he --enable/
d
i
sabl
e
options tak
e
strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n
C
arpe
n
ter
smatc
h
_nul_termina
t
ed: f
i
x compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpe
n
ter
u
ntracked_
p
aram
:
fix a NU
L
L dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpente
r
u
n
initialized
:
fix a crashing bug parsi
n
g
"re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan C
a
rpenter
nul_termina
t
or: tr
a
ck
when stri
n
gs have a NUL termi
n
ator
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
use
r
_data2: fix
a
ty
p
e issue in caller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
user_d
a
ta: integ
e
rs ca
n
'
t
be dere
f
er
e
n
c
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Car
p
enter
c
o
mparis
o
n
: make
a
buffer
larger to
m
a
ke GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Car
p
enter
data_so
u
rce: track assig
n
m
e
nts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
n
ter
extra: prevent a divi
d
e by
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
mod
i
fic
a
tion_hooks: use the DB for frob(&foo)
;
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpent
e
r
sval:
i
ntroduce sval_binop_
o
ver
f
lows_no_sig
n
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpen
t
e
r
e
xtra: undo bogus unop change
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
a
rray_values: fix
u
p and support two dimension
a
l local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Ca
r
p
ent
e
r
param_set: don't re
c
ord a param_
s
et for p++ chan
g
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
function
_
hooks:
r
e-h
a
c
k
around mo
v
ing the fake pa
r
amet
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan C
a
r
p
enter
array_val
u
e
s:
s
tore arr
a
y val
u
es of struct member array
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Da
n
Carpenter
function_ho
o
k
s
:
hack aroun
d
fallout
fr
o
m movi
n
g the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan
Carpent
e
r
comparison: don
'
t return inv
a
lid p
a
ram
s
in
g
et_mask_com
p
arison
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
db: don't pri
n
t "failed to op
e
n" wa
r
n
ings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
ter
p
a
r
am_set: r
e
mo
v
e some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag: temporarily disable ge
n
erating mtag for kmallo
c
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
en
t
er
exp
r
e
s
sions:
d
on't cr
a
sh on invalid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Car
p
enter
extra: fix a type bug in ins
e
rting info into c
a
ller_info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpenter
kernel
:
don't insis
t
t
h
at th
e
param
e
te
r
is named
"error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
extra:
export is_impossible_va
r
iable()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
flow:
fix
a
crashing bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpenter
functio
n
_hooks:
d
o
the fa
k
e p
a
rameter assi
g
nment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpent
e
r
param_li
m
it: fix
g
e
n
e
rify_mtag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: clear_point
e
d_a
t
_
stat
e
() is
a nomod state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
param_
s
e
t
:
handle when the stack varia
b
le was modifie
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
a
r
pent
e
r
parse
_
call
_
math: d
o
n't s
a
y the return is equal 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
s
v
al:
h
a
n
d
le cast
i
ng to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
array_valu
e
s: don't c
r
ash on
invalid c
o
de
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
no_spec:
record when f
u
n
c
t
io
n
s have
a bar
r
ier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Ca
r
penter
extra/type:
fix ty
p
e of
r
eturn PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan
C
arpen
t
er
para
m
_limi
t
: make mtag limits more
generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan
C
arpenter
param_set: don't
s
ave
i
f
th
e
parent is set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
a
tomic_inc_dec:
a
dd
a
couple m
o
re fun
c
tions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Da
n
Carpenter
si
g
ned
_
integer_ov
e
rflow: ignore thi
s
for t
h
e kernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: h
a
ndle conditionals like: "a = b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpent
e
r
nospec: don
'
t fill the DB u
p
with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
siz
e
of: fix NULL dereference pars
i
ng invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
a
n
C
a
rpenter
stri
n
gs: truncating lar
g
e strings causes SQL pr
o
blems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
type_val
:
don't dou
b
le recor
d
gl
o
b
als
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpe
n
ter
targe
t
: m
a
n ssize_
t
b
e
u
n
sig
n
e
d
long inst
e
ad of
u
nsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpe
n
ter
e
xtra: don't
r
eset impos
s
ible states after a cond
i
tion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Da
n
Carpenter
array: sto
r
e
p
o
ssible array values for simple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
pe
n
t
e
r
mtag: HACK:
r
e
turn fals
e
if the mtag
is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: fake a
n
assign stat
e
ment for
g
lobal in
i
tializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Car
p
ente
r
flow
:
t
wea
k
how function timeouts
h
a
ppen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fix a type bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
an Carpent
e
r
smatch_flow: don't parse inline function
s
afte
r
w
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
a
r
penter
mta
g
: add string
information
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
D
an Car
p
enter
flow: handle __
b
uiltin_mul_ov
e
r
flow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Da
n
Carpenter
kernel_pri
n
tf: sile
n
ce "specifie
r
is
c
ast
from pointer
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospec: turn off speculatio
n
at r
m
b(),
s
m
b_
r
m
b
(
)
and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
D
a
n
Carpenter
check_sign
e
d: ignore fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
an Carpenter
mtag_data
:
clear cache at s
t
art of f
u
n
c
tio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Carpe
n
ter
nosp
e
c: fix unin
i
tialized pointer crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpe
n
t
e
r
h
e
lper: fake calls are no
t
equ
i
va
l
ent to anythi
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Ca
r
penter
compar
i
son
:
handle comparisons: if ((foo = frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpen
t
er
comp
a
rison: improve
"
foo = mi
n
(
.
.
.
);" assignment handl
i
n
g
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
Ca
r
pent
e
r
c
o
mparison: hack around some type bug
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
an Car
p
enter
m
t
ag_data: remove duplicate mt
a
g_data
and ran
d
om small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
contain
e
r_of:
fix a bug in get_shar
e
d_cn
t
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan C
a
rpenter
c
h
eck_check_deref: silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carp
e
nter
nosp
e
c:
store f
u
nct
i
ons tha
t
r
e
turn nospec indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Carpenter
nosp
e
c
: h
a
ndle
C
ALL_NOSPEC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan Car
p
enter
db:
i
ntroduc
e
the --db-f
i
l
e
=/
p
a
th/to/smatc
h
_db
.
sqlite
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Da
n
Car
p
enter
user_data2: us
e
function re
t
urns in poin
t
s_t
o
_user_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Carpenter
f
iles: ch
e
c
k
for s
c
hema files re
l
ati
v
e
t
o t
h
e bin_dir
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
sma
t
ch
.
c:
e
x
port bin_dir to e
v
ery
o
ne
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan C
a
rpenter
co
r
e:
p
ri
n
t the
full
p
at
h
when
-
-in
f
o is used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
user_da
t
a:
i
mprove
h
o
w re
t
urned dat
a
is handle
d
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan Carpent
e
r
capped:
set return
e
d
s
t
ruct
m
embers to ca
p
ped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan Carpenter
user_
d
ata: fix v
a
lidation test for r
e
tu
r
ned s
t
ruct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
implied: don't
p
rint
so many "turning off impl
i
cations
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpen
t
er
m
t
ag: dele
t
e
s
ome bogus cod
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next