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
equiv: update "other" names as well
2019-02-12
Da
n
Carpenter
equ
i
v: up
d
a
te "other
"
names as wel
l
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
arpenter
buf_comp
a
rison: re-write to
b
e
more flexible
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
p
e
nter
db/kernel
.
r
e
t
urn_fixes:
a
dd some more r
e
t
u
rn
fixes
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
ar
p
enter
db/vim_db
:
do
n
't complain when t
h
e
fi
l
e
is not found
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/create_db
.
s
h
: don'
t
complain
when -p=<proje
c
t> i
s
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/fixup_k
e
rnel
.
sh: fix up stuff
from the u
n
signed
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n
Car
p
enter
val
i
dation:
u
pdate a
f
e
w tes
t
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-08
Dan
C
a
rpenter
type:
c
o
mmit some missing pie
c
es
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Da
n
C
a
rpenter
extra: small speedup in
set
_
pa
r
am_hard_
m
ax()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
helper: fix expr
_
to_c
h
unk_helper() for struct members
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
comparison
:
pri
n
t
a
"
%s" string
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nt
e
r
constraints: remove debuggi
n
g and
u
se the str
i
p
ped
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
ar
p
e
nter
d
b: improve recording comp
a
r
i
sons to paramete
r
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
i
mp
l
i
e
d: re
m
o
v
e
some duplicate debug code
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpen
t
er
real_absolute: don't store d
a
t
a
f
or arrays
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
sval
:
r
e
move an e
x
tr
a
space character
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nte
r
type: ma
k
e
poin
t
e
r
s unsig
n
ed
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
e
xtra: tight
e
n
cano
n
i
cal fo
r
loop
handling
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
ex
t
ra: fix func
t
ion comparison
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan C
a
rpenter
ranges: improve cas
t
ing
n
egat
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Da
n
C
arpen
t
er
implied: don't use incomp
l
ete states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
implications: r
e
move a magic number
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db: sho
w
comparison strings for con
d
ition
a
l returns
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Car
p
enter
db: don't store rec
u
rsive s
t
ruct mem
b
ers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
r
pen
t
er
type: hand
l
e po
i
n
t
e
r type correctly
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
e
xt
r
a
/untracked_param
:
m
a
r
k lost parameters
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-02-04
D
an Carp
e
nter
address
:
return unknown if we ca
n
't figure out the
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-31
D
a
n Carp
e
nter
i
m
plied: twe
a
k
some debug state
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
D
an Ca
r
penter
e
xpressio
n
s: p
a
rse "$0->
f
oo
.
bar" corre
c
tly
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan
C
arpenter
return_to_param: use ident->len instead
o
f strlen()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
param_set
:
handle mtag assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
C
a
rpe
n
ter
assigned
_
expr
:
make it work for para
m
e
t
e
r assignments
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-25
Dan Carpenter
equ
i
v: use DB information to set extra state in eq
u
iv
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan
Carp
e
nter
e
xtra: i
m
p
r
o
v
e get_oth
e
r
_n
a
m
e_sym()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-23
Dan Car
p
ent
e
r
extra:
f
utz around
w
i
t
h get_other_na
m
e_s
y
m()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Carpenter
he
l
per: improv
e
g
e
t_m
e
mber
_
name() f
o
r
anonymous structs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
ar
p
enter
db: escape
new
l
ines
i
n sa
v
e_cache_data()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan C
a
rpenter
rang
e
s: constify call_re
s
u
l
ts_to_rl
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpenter
ex
t
ra: filter re
a
l
l
y long
unused pa
r
a
m
valu
e
informatio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carpenter
ext
r
a
:
u
se ident->len instead of calling strlen(id
e
nt
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carpenter
d
b: don't create
new sp
l
its in sp
l
it_positive_from
_
ne
g
ative
(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
extra:
fix ret
u
rned_struct
_
members()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Car
p
enter
param_use
d
:
fix handling
o
f
c
alled functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
t
er
extra:
ex
p
ort in_warn_on_macr
o
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
rpenter
type: misc s
m
a
l
l cleanups
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
type: fix ge
t
_me
m
be
r
_from_string(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpenter
k
p
atch
.
sh: fix spelling s/a
m
mend/am
e
nd
/
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-16
D
an Carpent
e
r
type
:
add a short
c
u
t in get_real_b
a
se
_
type()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
implied: Preserv
e
->hard_ma
x
for fak
e
history states
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-14
D
a
n Carpent
e
r
extra: pre
s
erve hard_max after compa
r
isons to zero
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Car
p
enter
slist
:
make
s
m
-
>
c
h
ildren a sm
a
ll
e
r type
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: rename variab
l
es i
n
__merge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: hand
l
e
t
h
e fast path in
_
_
m
erge_stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpen
t
er
slist: simplify
__me
r
g
e
_
stree()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-19
D
an C
a
rp
e
nter
nospec: don
'
t reco
r
d
nospec p
a
rame
t
er info which hasn
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-14
Da
n
Carpenter
dma_mapping_erro
r
: update to only com
p
la
i
n ab
o
ut legacy
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-11
Joh
n
Levon
Remove
-Wempty-character
-
c
onstant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-07
D
a
n
Carpe
n
t
e
r
smatch: add a --suc
c
eed option
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John L
e
von
Add i
l
lumos projects
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
John Levon
Convert some sm_
m
sg() into more specific
reporting
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
J
o
hn Levon
Convert sm_msg() with an error: prefix into sm_err
o
r()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Lev
o
n
Convert all sm_msg("warn:
.
.
" into sm_warning(
)
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Jo
h
n Lev
o
n
R
e
gularis
e
er
r
o
r
reporting
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-06
Dan
C
arpenter
db: make escape_n
e
wl
i
nes()
take a const poi
n
ter
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
a
n Car
p
ent
e
r
par
s
e
.
h: create stm
t
_
get_parent_stmt()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
D
an C
a
rp
e
nter
const
r
aints:
e
s
cape SQL
sta
t
e
m
ents
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-12-04
Da
n
Carpenter
stat
e
m
e
n
t_count:
re
c
ord how many
s
tatements t
h
ere are
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-30
Da
n
Carp
e
nter
extra/db: si
l
ence an i
n
valid SQL wa
r
ning
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
b
u
f_size: fi
x
handling of 1 element arr
a
y
s
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-29
D
an Carpen
t
e
r
db: sq
l
debug mode
was e
x
ecuting the SQL twice
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
an
Carpenter
test_bi
t
: add test_and_set_bit()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpente
r
debug: introd
u
ce __sma
t
ch_me
m
()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
db: don't save struct m
e
mbers for int
e
gers
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
im
p
lie
d
:
remov
e
an unneces
s
ary NULL chec
k
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Car
p
e
nte
r
nul_term
i
nato
r
:
export t
h
e
is_nul_terminated() function
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n
Carp
e
nter
k
patch: use
g
it instead of tr
y
ing to create
diffs by
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
struc
t
_assi
g
n
m
ent: handle unions
as well
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missing_brea
k
: turn it off
b
y de
f
ault
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
p
e
nter
f
ree_str
i
ct: fix some false posit
i
ves
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
Revert "Look acr
o
ss the
entire c
o
mpi
l
e line for smatch
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Le
v
on
Look
ac
r
oss the entire compile line for sm
a
tch argume
n
ts
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levon
sparse: add
-
W
empty-character-
c
onstant
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John L
e
von
sparse
:
add -Wbi
g
-constants
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
sparse: add -Wno-no
n
-ansi-fu
n
ction-declaratio
n
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
o
h
n Levo
n
s
parse: correct
l
y handle "-
D
foo" and "-
U
foo"
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Luc Van Oosten
r
yck
fix: spaces in macro d
e
finition on the command line
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
John Levon
Introduce sk
i
pped_functions
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Joh
n
Levo
n
Fix es
c
ape_newl
i
n
es()
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
J
ohn Levon
sp
a
rse:
l
ib
.
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
John Levo
n
spars
e
: defi
n
e
__
x
86_64; some so
f
tware
c
hecks for this
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-27
Jo
h
n L
e
vo
n
Allow additional CFL
A
GS to
b
e
s
p
e
cified, e
.
g
.
"C
F
LAGS
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-14
Dan Carpen
t
er
trinity: Proof of
c
onc
e
pt
to auto-generate trinity
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carp
e
nter
user_data: re
n
ame to smatch_kernel_user_
d
a
ta
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-11-01
Da
n
Carpe
n
t
e
r
assigned_ex
p
r: rename to smatc
h
_as
s
ign
e
d_expr
.
c
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpe
n
ter
smatch: make
the --enable/disable
o
ptions take str
i
n
gs
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Joh
n
Levon
clock() is already def
i
ned
o
n il
l
umos, so r
e
name
t
h
e
.
.
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Le
v
o
n
Ignore "#i
d
en
t
"
a
s f
o
und in s
o
me
old
s
ources
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
John Levo
n
U
s
e $(C
F
LAGS) when c
o
mpiling smatch
.
c its
e
lf
.
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch_nul_term
i
n
ated: fi
x
compil
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
untracked
_
para
m
: fix a
N
ULL
d
ereferen
c
e
Signed-off-by:
Dan Carpenter
<dan.carpenter@oracle.com>
commit
|
commitdiff
|
tree
next