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
buf_size: fix handling of 1 element arrays
2018-11-29
D
a
n Carpenter
buf_
s
i
ze: fix handling of 1 el
e
ment arr
a
ys
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan C
a
rpenter
db:
sql debug mode was executi
n
g the
S
Q
L twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_b
i
t:
add test_and_s
e
t_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
debug: int
r
oduce __smatc
h
_mem()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpe
n
ter
db: d
o
n'
t
s
ave struct members for
int
e
gers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
i
m
plied: remove
a
n unnecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
nul_terminator: exp
o
rt t
h
e
is_nul_te
r
m
inated() fu
n
ction
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carpenter
kpatch: use git
i
n
stea
d
o
f t
r
ying to create diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Ca
r
pe
n
t
e
r
str
u
c
t_a
s
signme
n
t: han
d
le unions as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpen
t
e
r
mi
s
sing_break: tu
r
n it off by default
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
free_str
i
ct: fix some
false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
Revert "Loo
k
acr
o
ss the e
n
tire com
p
ile l
i
ne for sma
t
ch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Le
v
on
Look acros
s
the entire c
o
mp
i
le line for
smatch argume
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
vo
n
s
p
arse: add -Wempt
y
-chara
c
ter-c
o
nsta
n
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
L
evon
sparse:
add -Wbig-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n Levon
s
parse: ad
d
-Wno-non-ansi
-
funct
i
on-d
e
cl
a
ration
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: corre
c
tly ha
n
dle
"-D foo"
a
nd "-U f
o
o"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Lu
c
Van Oost
e
nryck
fix: spaces in macro
d
efinition on th
e
command line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
vo
n
I
ntroduce skipp
e
d_functi
o
ns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
Fix escape_newl
i
nes()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
spa
r
se: lib
.
c shoul
d
handle
b
e
i
ng
buil
t
32-bit, compiling
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse
:
de
f
ine __x86_64; som
e
software checks for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
hn
L
e
von
Allow add
i
tional 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
Dan Carpenter
trinity
:
Proof of concept to
auto-genera
t
e tr
i
nity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpente
r
u
s
e
r
_da
t
a:
r
ename to smatc
h
_ker
n
el_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n
Carpenter
assig
n
ed_exp
r
: rena
m
e to smatch_assigned_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
enter
sma
t
ch: ma
k
e the --enable/disable
o
ptions take str
i
ngs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Levon
clock
(
) is alrea
d
y defined on illumos,
so rename the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levon
Ig
n
or
e
"#ident" a
s
found in
some old sources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
J
o
hn Lev
o
n
Use $(
C
FLAGS) when compiling smatch
.
c itself
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan
C
arpenter
smatch_nu
l
_term
i
nated: fi
x
compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Da
n
Carpenter
unt
r
acked
_
param: f
i
x a
N
U
LL dereferenc
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
D
an Carpenter
un
i
n
itialized: fix a crashing
b
ug parsing "return
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan
C
arpenter
nul_te
r
mi
n
ator:
track when strings
hav
e
a N
U
L
t
ermina
t
or
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
u
ser_data
2
: fix a type issue
i
n c
a
ller
_
info
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
use
r
_data: integers can't be dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n Carpe
n
ter
comp
a
rison: make a buffer larger to make GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
data_sou
r
ce: trac
k
ass
i
gnm
e
nts better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carp
e
n
t
er
extra: pr
e
vent a divide by zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
Carpenter
modi
f
ication_
h
oo
k
s: us
e
the DB
f
or fro
b
(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sval: introduce sva
l
_binop_overflo
w
s_no_s
i
g
n
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Da
n
Carpenter
extra: und
o
bogus unop cha
n
ges
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Car
p
enter
array_values: fix u
p
a
n
d s
u
pport
t
w
o dimensional lo
c
al
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
an
C
arpenter
param_set: don't
r
ecord a
p
aram
_
set for p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
function_h
o
oks: re-
h
ack aroun
d
mov
i
ng the fake parameter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Car
p
en
t
er
a
rra
y
_values: store array values
of struct memb
e
r a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Da
n
Carpe
n
ter
function_hooks: hac
k
a
r
ound fallout from moving t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carpe
n
ter
comp
a
riso
n
:
d
on't return inva
l
id params
i
n
get_
m
ask_compari
s
on()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpe
n
t
e
r
db: don't
p
ri
n
t "failed to
open"
w
arnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
par
a
m_set: remove s
o
me de
a
d code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
mtag: temporarily disa
b
le generating
mtag for k
m
alloc(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an C
a
rpenter
e
xpres
s
ions: do
n
't cr
a
s
h
o
n
in
v
alid
c
ode
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: fix a t
y
pe bug in
i
nserting info into c
a
ller_
i
nfo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
ker
n
el: don't ins
i
st that the paramet
e
r is
named "e
r
ror
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
extra: e
x
po
r
t
is_i
m
possible_variable(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpen
t
er
flow: f
i
x a cra
s
hing
bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpenter
function_hooks: do th
e
f
ak
e
paramet
e
r
assignmen
t
after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpent
e
r
p
a
ram_li
m
it:
fix
generify_m
t
ag_range()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
e
x
tra
:
clear_
p
oint
e
d_at_s
t
ate(
)
is
a
nomo
d
state
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Car
p
enter
p
aram_set: handle
w
hen the stack var
i
able w
a
s m
o
difi
e
d
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
C
arpenter
parse_c
a
ll_math:
d
on't say
the return is equal to
a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Ca
r
penter
s
cope: f
i
x i
s
_outer_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
s
v
al: handle c
a
stin
g
t
o bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
array_v
a
l
ues: don't
c
r
a
sh on invalid c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rp
e
n
t
er
no_spec: record when function
s
have a
b
arrie
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
a
n C
a
rpenter
e
xtra/type:
fix type of return PAR
A
M_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
p
aram_limit: mak
e
m
tag limit
s
more generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
Dan Carpenter
param_set
:
d
on't save
i
f the parent is
s
et
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carp
e
nter
ato
m
ic
_
i
n
c_de
c
: ad
d
a couple more functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
C
arpenter
signed_integer_over
f
low: igno
r
e this for the
k
ernel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
math: handl
e
conditi
o
nals like: "a = b?: c;"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan
Car
p
enter
nos
p
ec:
d
on't fill the DB
up w
i
th garb
a
ge
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
i
zeof:
fix N
U
LL dereference
parsing invalid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
string
s
: truncatin
g
large strings cau
s
es
S
Q
L pro
b
lems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
type_val: don't d
o
uble record gl
o
bals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpe
n
te
r
target: man ssize_t be unsigned long instead of unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
extra: don't r
e
set impossibl
e
states after a condition
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan Carp
e
n
t
e
r
array: store
poss
i
ble array values for si
m
ple arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan C
a
rpenter
mta
g
: HACK: return false if
t
he
m
t
ag
i
s zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
f
l
ow: fake an
a
ssign st
a
t
e
m
ent for g
l
obal initializers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
flow: tweak how function timeouts
h
appen
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Carpenter
db: fix a
type
b
ug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Car
p
enter
s
m
atch_flow: do
n
't
parse inline func
t
i
o
ns
a
f
t
er we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan
C
arpenter
m
tag: add string
i
n
for
m
a
t
ion
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
D
an Carpenter
flow
:
handle __builtin_mul_ove
r
f
l
ow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
Dan Carpenter
kernel_p
r
i
n
tf:
s
i
lence "specifie
r
is cast
from po
i
nter
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
nospe
c
: turn off spe
c
ul
a
tion at rmb(
)
, smb_
r
mb() and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpenter
check_signed: ign
o
re fake assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n Carpenter
mtag_d
a
ta:
c
lear cache at start of function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
D
a
n
Ca
r
pen
t
er
nospec: fix
u
ni
n
itialized point
e
r crash
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Carpenter
helpe
r
: fake
c
a
l
ls are
n
ot
equiv
a
l
ent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Car
p
enter
com
p
ariso
n
: handle com
p
a
r
i
s
ons: if ((foo
= frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
a
r
penter
c
omparison:
i
mprove "f
o
o = min
(
.
.
.
);" assignment h
a
n
d
ling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
comparison:
hack
a
round some
ty
p
e
bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
mtag_
d
ata: remove duplicate mta
g
_data a
n
d rando
m
s
m
all
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
conta
i
ner_of: fix
a
bug in
g
et_sh
a
r
ed_cnt
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
pent
e
r
check_check_deref: silence som
e
fals
e
pos
i
tive
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nospec: store functi
o
ns that retur
n
nospe
c
indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan Ca
r
pe
n
ter
n
o
spec: handle CALL_NOS
P
EC
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan C
a
rp
e
n
t
er
db: introd
u
ce
t
he --db-file=/p
a
th/to/smatch_db
.
sqli
t
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next