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
states: fix a bug handling negate
2019-02-12
Dan
C
arp
e
nte
r
states: fix
a bu
g
handling negate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
equiv:
upda
t
e "othe
r
" names as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
C
ar
p
ent
e
r
b
u
f_comp
a
rison: re
-
write
to be
m
o
re fle
x
ib
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpente
r
d
b
/ker
n
el
.
return_
f
ix
e
s: a
d
d s
o
m
e more return fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Carpe
n
t
er
db
/
vim_db: don'
t
c
o
mplain when the
f
ile
i
s not
f
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan
Carpenter
db/crea
t
e_
d
b
.
sh: don't complain when -p=<pr
o
j
e
ct> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/fixup_kern
e
l
.
s
h: fix up stuff
f
rom the unsigned
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpen
t
er
va
l
idation:
updat
e
a few
tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an C
a
rpenter
type
:
c
omm
i
t
s
ome
mi
s
sing piec
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
enter
extr
a
: sma
l
l spe
e
d
up in
set_param_ha
r
d_
m
ax()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Ca
r
p
enter
he
l
per:
f
i
x expr_to_chu
n
k_hel
p
er
(
) for struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
c
omparis
o
n: print a "
%
s
"
string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n C
a
rpente
r
constr
a
ints
:
remove
debugging an
d
u
s
e t
h
e
stripped
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
db:
improve rec
o
rdin
g
compar
i
sons
t
o
parame
t
ers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
impli
e
d: remove
som
e
dupli
c
ate
d
ebug
c
o
d
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
real_absolute:
don'
t
s
tor
e
data for a
r
rays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
t
er
sval:
r
emove an extr
a
space character
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arp
e
nter
typ
e
: make
p
o
i
nters unsigned
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpen
t
er
extra: tighte
n
canonical for loop h
a
ndling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
e
x
tra
:
f
i
x
function comparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
D
a
n
C
arpente
r
ranges: impr
o
ve casting negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpen
t
er
impl
i
ed: don't use incomplete state
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
imp
l
icati
o
n
s
:
remove
a
magic numb
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: show comparison strings for conditional retur
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan
C
a
rpenter
db: don't store recu
r
si
v
e
stru
c
t memb
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
t
y
pe
:
ha
n
dle pointe
r
type co
r
r
e
ct
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Da
n
Carpenter
ext
r
a/untracked
_
param: m
a
r
k lo
s
t parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
penter
address: ret
u
rn
u
nknown
i
f
we can't
f
i
gur
e
out t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
D
a
n Carpenter
i
mp
l
ied: tweak
s
o
m
e deb
u
g statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpenter
expres
s
ions
:
par
s
e "$0->foo
.
bar" correctly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an Carpenter
r
eturn_to_param: use ident->
l
en in
s
tead
o
f strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an
C
a
rpent
e
r
param_set: handle mtag as
s
i
g
n
ments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Car
p
enter
assigned_expr
:
m
a
ke it work for
p
aram
e
t
e
r assignmen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan
C
a
rpenter
eq
u
iv: use DB informatio
n
to set ex
t
r
a sta
t
e
i
n equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Ca
r
penter
extra: i
m
pr
o
ve get_
o
ther_name_sym
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extra: f
u
tz aro
u
nd
with g
e
t_oth
e
r_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpe
n
ter
help
e
r: improve
get_mem
b
er_nam
e
()
f
or anonymous structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpenter
db: escape new lines in save
_
cache_da
t
a()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpenter
r
ang
e
s: constify call_results_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
extra:
f
ilte
r
really long unused pa
r
am
val
u
e i
n
forma
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Carpenter
extra: u
s
e ident->len
i
nstead of ca
l
ling s
t
rl
e
n(i
d
en
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpenter
db:
d
on't create
n
ew splits in
s
p
lit_po
s
i
t
ive_from_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carp
e
nter
extra: fix return
e
d_struct_membe
r
s()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Car
p
enter
par
a
m_used
:
f
i
x handling of called functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpente
r
e
x
t
ra
:
export in_warn_on_
m
acro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n C
a
rpenter
type: misc sma
l
l cleanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
Ca
r
pe
n
ter
type: fix get_member_from_strin
g
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpenter
kpatch
.
sh: f
i
x
spell
i
ng s/ammend/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
p
enter
typ
e
: add a short cut
in get_real_ba
s
e_type
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpen
t
er
i
mplied: Preserv
e
-
>
hard_max for fake history states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan
Car
p
ente
r
e
xtr
a
: preserve
hard_max
af
t
er compar
i
s
o
ns to z
e
ro
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slis
t
: make sm->c
h
i
ldre
n
a sma
l
ler type
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Car
p
enter
sli
s
t
: rename variable
s
in __merge
_
s
t
re
e
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
arpenter
slist: handl
e
the fast path in __m
e
rge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpente
r
slist: simplify __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Ca
r
penter
nospec: do
n
't
record
n
ospec p
a
ram
e
ter info which hasn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan
Carpenter
d
m
a_
m
apping_
e
rror
:
update to only com
p
la
i
n about l
e
gacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Da
n
Carpe
n
ter
smatch
:
a
dd a --succeed option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
D
a
n Carpenter
db: make escape_newl
i
nes() take
a co
n
st pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan
C
arpenter
parse
.
h: create stmt_ge
t
_p
a
rent_
s
tmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Carpenter
constraints: es
c
ape SQL statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Car
p
enter
statemen
t
_co
u
nt: record how
m
a
ny statements t
h
ere are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
ex
t
ra/
d
b
: s
i
lence an invalid SQ
L
w
a
rning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carp
e
nter
buf
_
size
:
f
i
x h
a
ndling of 1 elemen
t
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpente
r
d
b
: sql debug mode
was
execut
i
ng the SQ
L
twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
test_b
i
t
:
a
d
d
test_and_se
t
_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
deb
u
g: i
n
troduce __smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
db:
don't save struct members f
o
r integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
implied: r
e
move a
n
unneces
s
ary
N
ULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
pe
n
ter
nul_termi
n
ator
:
export t
h
e
i
s
_
nul_
t
erminated()
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
r
p
enter
k
patch: use
g
i
t
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 Carpente
r
struct_a
s
signment: handle u
n
io
n
s as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Car
p
e
n
ter
missing_break: turn it of
f
by
d
efault
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan C
a
rpenter
f
ree_strict: fix s
o
me false po
s
it
i
ve
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Car
p
enter
Revert "Lo
o
k
a
c
r
o
ss the entire comp
i
l
e line for
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpenter
trinity: Proo
f
o
f
concept
to
a
uto-
g
enerate tri
n
ity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
arpenter
us
e
r_
d
ata:
r
ena
m
e t
o
smatch_kernel_user_dat
a
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
Car
p
ente
r
assigned_expr: rename to smatch_ass
i
gned_expr
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
pe
n
ter
smatc
h
: make the --enable/
d
is
a
ble o
p
tio
n
s take strings
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan
Carpenter
smatch_
n
ul_terminated
:
fix compile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carp
e
nter
u
ntrack
e
d
_
param: fix a N
U
L
L dereferenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Carp
e
nte
r
uninitialized: fix a
c
ras
h
i
n
g bug par
s
ing "ret
u
rn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
a
n
Carpenter
nul_terminato
r
:
t
rack when strings have a
N
UL termin
a
tor
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
user
_
d
ata
2
: fi
x
a
t
ype
i
ssue in
c
aller_info
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
r
p
enter
user_data: integer
s
can't be dere
f
erenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
c
o
mparison: make
a buffer larger to make GCC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
dat
a
_
source: t
r
ack assignme
n
ts bet
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
penter
extr
a
: pre
v
ent a divide by
ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan C
a
rpente
r
modi
f
ication_h
o
oks
:
use th
e
DB for frob(&f
o
o);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
sv
a
l: in
t
roduc
e
sval_bino
p
_overflows_no
_
sig
n
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-28
Dan Carpenter
ex
t
ra: undo b
o
gus un
o
p
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpente
r
array_val
u
e
s
: fi
x
up and supp
o
rt tw
o
d
i
mens
i
onal
l
o
cal
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan
Carpenter
param_s
e
t: don
'
t record
a
param_s
e
t f
o
r p+
+
changes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-27
Dan Carpenter
fu
n
ction
_
hooks: re-h
a
c
k
around m
o
ving the fake p
a
r
ameter
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carp
e
nte
r
array
_
values
:
sto
r
e
array
va
l
ues of struct
m
ember
arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-26
Dan Carpenter
func
t
ion_hooks: h
a
ck around fallout
from
m
ov
i
ng t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-24
Dan Ca
r
penter
c
ompa
r
i
son: don't return invalid
p
arams in get_
m
a
s
k_comp
a
rison(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
Dan Carp
e
nter
db: don't prin
t
"fail
e
d to o
p
en" warnings
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
a
n Car
p
e
nter
param_set: r
e
move some dead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-09-20
D
an Carpente
r
mtag
:
tempora
r
ily disable gener
a
ting mtag for kmalloc(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next