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_si
z
e: fix ha
n
d
l
in
g
of
1
elemen
t
arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Da
n
Carpenter
db: sql d
e
bug mode w
a
s execut
i
ng the SQ
L
twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_
b
it: add tes
t
_a
n
d
_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
d
e
bug: i
n
troduce __smatch_
m
em()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Ca
r
penter
db: don't save struct m
e
mbe
r
s for integers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implied:
remove an unnecessary NULL check
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpenter
nu
l
_terminat
o
r: expor
t
the is_nul_t
e
rminated
(
) function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kpatch: use git i
n
stead of trying
to
create
diffs
by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
s
t
ruct_a
s
s
ignment: handle
unions
a
s well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an
C
a
rpente
r
missing_bre
a
k
:
turn
i
t off by defau
l
t
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
C
a
rpenter
free_str
i
ct:
fix some fal
s
e
positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
Revert "Look ac
r
oss th
e
en
t
ire
compil
e
line
for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trinit
y
: Proof o
f
c
o
ncept to auto-generate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
Car
p
en
t
er
u
ser
_
data:
rename to smatch_ke
r
nel_user_data
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpenter
assign
e
d_expr: rename to smatch_as
s
ig
n
ed_exp
r
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rpente
r
smatch:
ma
k
e the --
e
nable/disa
b
le o
p
tio
n
s take strings
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
en
t
er
smat
c
h_nul_terminated: fix compile
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
D
a
n
Carpenter
untracked_
p
ar
a
m: f
i
x a NULL dereference
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carpenter
unin
i
tializ
e
d:
f
i
x
a c
r
ashing bug parsing "re
t
urn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-23
Dan C
a
r
penter
nul_terminator: t
r
a
c
k wh
e
n strings have a NUL
terminat
o
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpen
t
er
u
ser_data2: fix a type issue
i
n
caller_
i
n
fo
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
u
ser_d
a
ta
:
int
e
gers can't be dereferenced
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan
C
arpe
n
ter
comparison: ma
k
e a buffer
lar
g
er
to ma
k
e
GCC happy
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
da
t
a_source: trac
k
a
ssignments better
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
extra: preven
t
a divide by
z
ero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
modi
f
icatio
n
_hooks:
u
s
e
th
e
D
B
for frob(&foo);
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Ca
r
pen
t
er
sval: intro
d
uce sval_bi
n
op_o
v
erflows_no_sign()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
extra:
undo bogu
s
u
nop changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan
Carpenter
array_val
u
es: f
i
x up and sup
p
ort
two di
m
ensional local
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
param_
s
et: d
o
n't recor
d
a
param_se
t
f
or p++ changes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-27
D
an Carpe
n
ter
function_hooks
:
re-hack around mov
i
ng the fak
e
paramet
e
r
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan
Carpe
n
ter
arr
a
y
_
v
alues:
s
tore array values of s
t
ruct member a
r
rays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
function_hooks: h
a
ck ar
o
und fallout from
mov
i
ng th
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-24
Dan Carp
e
n
ter
comparison: don't retu
r
n i
n
valid params in get_ma
s
k
_
co
m
parison()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpent
e
r
d
b: don't print
"
failed to o
p
e
n
" warnings
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nt
e
r
param_set: r
e
m
o
v
e
some dead code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
a
rpenter
m
t
ag: tem
p
o
rarily
di
s
able
generating mtag f
o
r
kmalloc()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Car
p
enter
e
xpr
e
s
s
ions: don't cra
s
h on inval
i
d c
o
d
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpe
n
ter
e
x
tra: fi
x
a type bug
in inserting info into call
e
r_in
f
o
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
kernel: don't insist that the
parameter is name
d
"error"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Da
n
Carpen
t
e
r
e
x
tra: ex
p
ort is_impossi
b
l
e
_vari
a
ble()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Ca
r
p
e
n
ter
f
low: fix a crash
i
ng bug
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
Carpente
r
fun
c
ti
o
n
_hooks:
do
the fake parameter assignment after
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n
C
a
rpen
t
er
para
m
_limit: fix generify_mtag_range(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
extra: cl
e
ar_p
o
int
e
d_at_state() is a nomod st
a
t
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Carpenter
param
_
set: handle when th
e
s
t
ack
v
ariable was modified
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
parse_cal
l
_
math
:
don't
say
t
he
retur
n
is eq
u
a
l to a
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan C
a
rpenter
scope:
f
ix
is_outer_stm
t
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carpenter
sv
a
l:
hand
l
e c
a
sting
to bool
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
D
an
Carpe
n
ter
array_v
a
lues:
d
on't
c
ras
h
on in
v
alid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-20
Dan
C
arpenter
no_spec:
r
e
c
ord when f
u
nctions h
a
ve
a
barrier
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
Dan Carpenter
extra/
t
ype: fix type of return PARAM_ADD/SET
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-14
D
an Ca
r
p
e
nte
r
param
_
limi
t
: mak
e
mt
a
g
limits more
generic
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-12
D
a
n
Carpe
n
ter
param
_
se
t
: don'
t
save if the
p
a
r
ent
i
s
set
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpen
t
er
a
tom
i
c_inc_d
e
c: add a c
o
u
p
le more function
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Carpenter
signe
d
_integer_overflow: ignor
e
this
f
or the ke
r
nel
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan C
a
rpenter
m
a
th: handle
c
onditional
s
like: "a
= b?: c;
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
D
an Car
p
enter
nos
p
ec: don't fill the DB up with garbage
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
sizeof: fix
N
U
L
L
de
r
efer
e
nce
parsin
g
in
v
a
lid code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
s
t
rings:
t
r
u
ncating l
a
rge strin
g
s
cau
s
es SQL problems
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Ca
r
pen
t
er
type
_
val
:
don't d
o
uble record g
l
obals
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
targ
e
t:
man ssize_
t
be
uns
i
gned lon
g
instead of unsigned
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-11
Dan Carpenter
extra: don't
r
eset impossible states
a
fte
r
a condit
i
on
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-10
Dan
Carpenter
arr
a
y: stor
e
possible array valu
e
s for
simple a
r
ray
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
penter
mtag: HA
C
K: return false
i
f the mtag is zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
Dan Ca
r
pente
r
flow:
f
ake an assign s
t
atement for
gl
o
bal initialize
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-09-06
D
a
n Car
p
e
n
ter
f
l
ow: tweak how fu
n
cti
o
n timeouts happen
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
Dan Carp
e
nter
smatch_f
l
o
w: don't parse inli
n
e f
u
nctions afte
r
we
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Da
n
Carpenter
m
tag: add
s
tring i
n
formation
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-31
Dan Carpenter
flow:
h
andle __built
i
n_mul_
o
v
erf
l
ow()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-29
D
an Carpent
e
r
kernel_pri
n
tf: silence "specifier is cast from poi
n
t
er
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan
Carpenter
nospec: turn off spe
c
ulation at rmb
(
), smb_rmb
(
) and
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-28
Dan Carpen
t
er
check_signed:
i
gnore f
a
ke ass
i
gnme
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Da
n
Car
p
e
n
ter
mtag_data: clear
cache at start of functio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-25
Dan Carp
e
nter
nospec: fix un
i
niti
a
l
ized pointer cras
h
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carp
e
nter
help
e
r: fa
k
e calls are not equ
i
va
l
ent to anything
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan
C
arpen
t
er
comparison: handle comparisons: if ((foo
= frob(
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n
Carpen
t
er
co
m
pa
r
ison: improv
e
"
f
o
o
= min(
.
.
.
);" assign
m
ent handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpenter
com
p
arison: hack around som
e
t
ype bugs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Ca
r
p
e
nter
mtag
_
data: remove duplicate
m
tag_d
a
t
a and
r
a
n
dom small
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
D
a
n Car
p
enter
container_of:
f
ix a bug in
g
et_share
d
_cnt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-24
Dan Carpente
r
ch
e
ck_ch
e
ck_deref: silence some false positives
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-18
Dan Carpenter
nospe
c
: store functions th
a
t ret
u
rn nospec indexes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-15
Dan C
a
rpenter
nospe
c
:
handle
C
ALL_NOSP
E
C
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-14
Dan
C
a
rpenter
d
b
: int
r
o
duce the --
d
b-file=/
p
ath/to/smatch_
d
b
.
s
qlit
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan
C
a
rpenter
user_data
2
: use f
u
nction retur
n
s i
n
points_to_user_data
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
files:
chec
k
for
s
chema
f
i
les
relative to
t
h
e
bin_d
i
r
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-13
Dan Ca
r
penter
smatch
.
c
: export b
i
n_dir t
o
e
veryone
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-10
Dan
C
a
rpent
e
r
c
ore: pr
i
nt the
fu
l
l path when
--info i
s
used
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Da
n
Carpenter
user_data: improve how returned data is handled
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-08
Dan C
a
rpente
r
c
apped:
set return
e
d struct
members to capped
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-08-06
Dan Car
p
ente
r
user_da
t
a: fix validation t
e
st for retur
n
e
d
s
t
ruct
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
impli
e
d: don't print so many
"
tu
r
ning off implicati
o
n
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: del
e
te s
o
me bogus code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
D
a
n Carpenter
mtag
_
data: update mtag_
d
a
t
a to
use ge
t
_mtag_addr
_
sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
mtag: fix expr_to_mtag_offset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
m
t
ag:
introduce get_
m
t
ag_addr_sval()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpenter
pa
r
am_to_
m
tag_data
:
rename "dat
a
_na
m
e" --> "n
a
m
e
"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-07-31
Dan Carpe
n
te
r
mtag: don't set
the name in expr_to_mtag_o
f
fset()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next