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
extra: in PARAM_LIMIT/FILER then set both the name and the other_name
2019-02-18
D
an
C
arpen
t
er
extra: in
P
ARAM_LIMIT/FI
L
ER then set both the na
m
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-18
Dan Carpen
t
er
zer
o
_to_err_ptr: don't warn
on imp
o
s
s
i
b
le pa
t
h
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan C
a
r
p
enter
e
s
tat
e
:
d
elet
e
estate_filter_ra
n
ge/
s
val()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-15
Dan C
a
r
p
e
nter
k
ernel: fix
type bug
h
andle IS_
E
RR() and friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
db: do
n
'
t pretend to dereference integers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan
Carpente
r
tes
t
ing_i
n
dex_afte
r
_
u
se:
remove debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
cappe
d
: don't set capped fo
r
known valu
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
penter
extra: tweak hard
m
ax in conditions and macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
ex
t
ra: pa
s
s hard max
across funct
i
o
n boundarie
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
arpen
t
e
r
db: spl
i
t zero
and non-zero
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
nte
r
implied:
r
emove some dead code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpe
n
ter
implied
:
rem
o
ve a nonsense limitati
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Ca
r
p
e
n
ter
test
i
ng_index_after_use:
s
ilence
s
o
m
e false positive
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
implied: remove the
-
-de
b
ug-implied op
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan
C
a
r
pente
r
stat
e
s: fix
a bug handlin
g
n
e
gate
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
a
n Carp
e
n
t
er
equiv: update "o
t
her" names as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
a
n Car
p
enter
buf_comparison: re-w
r
it
e
to be more flexible
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpente
r
db
/
ke
r
nel
.
return_
f
ixes:
add some more
return fi
x
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Da
n
Carpenter
d
b
/vi
m
_db:
don't complai
n
w
h
en the fi
l
e is
not f
o
und
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/
c
reate_db
.
s
h: don't co
m
pl
a
in when
-
p=<proj
e
ct> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an
C
a
rpenter
d
b
/fixup_ke
r
nel
.
sh: fix
up stuff from t
h
e
unsig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
p
enter
validation: upda
t
e
a
f
e
w tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
type: commit som
e
missi
n
g
p
ieces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
n
ter
extra:
s
mall speedup i
n
set_par
a
m_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
helper: fix expr_to_c
h
unk_hel
p
e
r
() for struct memb
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpe
n
t
er
comp
a
riso
n
: print a
"
%s"
s
t
ring
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
ente
r
constraints
:
remove debuggi
n
g an
d
use the str
i
p
pe
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Carpenter
d
b
: improve
r
ecording com
p
a
r
isons to pa
r
amet
e
r
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an
Carpen
t
e
r
implied: rem
o
v
e some duplic
a
te
d
ebug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
real_absol
u
te
:
don't store data for arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Car
p
e
n
ter
sval:
r
e
m
ove an extra
space
char
a
cter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
C
arpenter
type: make pointers u
n
signe
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpent
e
r
extr
a
: tighten canonical
for loo
p
handling
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Car
p
enter
extra: f
i
x fu
n
ction c
o
mparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan C
a
rpe
n
ter
r
anges
:
improve cas
t
ing negative
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan Carpenter
impl
i
ed:
d
o
n
'
t use incomplete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
Carp
e
nter
i
m
plication
s
:
r
emove a magic
number
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
db
:
show compariso
n
s
tri
n
gs for conditiona
l
returns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carpe
n
te
r
d
b
:
d
on't store recursiv
e
struct members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
ty
p
e
: h
a
ndle pointer
type correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
an Carpenter
extra
/
untracked_p
a
ram: mark
lost paramet
e
rs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpenter
address: retur
n
unkno
w
n if we can'
t
figure o
u
t
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
Da
n
C
a
rpenter
impli
e
d: tweak some debug
statement
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan C
a
rpente
r
expression
s
: parse "$0->foo
.
bar" corre
c
tly
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
return_t
o
_
p
aram: use ident->len instead of strlen()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an Ca
r
penter
param_set: handle mtag assig
n
men
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
D
an
C
arpente
r
assigned_expr:
m
ake it work for par
a
me
t
er assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
Dan Car
p
enter
e
qui
v
: use DB information to
s
et ex
t
ra
state in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
extra: impr
o
ve get_
o
th
e
r_name_sy
m
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carpenter
ext
r
a:
f
u
t
z
a
r
o
u
n
d wit
h
get_oth
e
r_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
arpenter
hel
p
e
r
:
im
p
rove get_mem
b
er
_
name(
)
for anon
y
m
o
us structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpen
t
er
d
b
: escape new lin
e
s in save_cache_data()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
C
a
rpente
r
rang
e
s: constify call_re
s
ul
t
s
_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carpenter
e
x
tra
:
f
i
lter
r
e
ally l
o
ng u
n
used param value inf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
a
n Carpenter
e
xtra: use
i
den
t
-
>
len instead of
c
alling strlen(ident
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpen
t
er
db:
don't create
new splits in split_posi
t
i
v
e_f
r
o
m_negat
i
ve()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arpen
t
er
extra: fix re
t
urned_struct_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
p
a
ram_u
s
ed: fix han
d
l
i
ng of
c
alled functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Da
n
Carp
e
nter
extr
a
: ex
p
ort in_w
a
r
n
_on_ma
c
ro(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Car
p
ente
r
type: m
i
sc s
m
all
c
l
eanups
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n Carpenter
type:
fix get_member_
f
r
o
m_
s
tring()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
pente
r
kpa
t
ch
.
sh: fix spelling s/amme
n
d/amend/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
a
rpe
n
t
e
r
type: add a sh
o
rt cu
t
in
get_real_ba
s
e_t
y
pe
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan
C
arpenter
implied
:
Preserve
-
>
h
ard_m
a
x for fake hi
s
t
o
r
y
s
tates
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Carpenter
extra: prese
r
ve hard_ma
x
afte
r
comparis
o
ns
to ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Carpenter
slist
:
m
ake sm
-
>childre
n
a smaller typ
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rp
e
nter
slist: ren
a
me va
r
iables in __mer
g
e_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Da
n
Carpenter
sl
i
s
t
: handle the fast pa
t
h in
__merge_st
r
ee()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan
C
ar
p
e
nter
slist: simplify __m
e
r
ge_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Dan Carpenter
nospec:
d
o
n
't record n
o
spec parameter info which
has
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpenter
d
m
a_m
a
ppi
n
g_error: update to o
n
ly complain
about
l
egacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan Carpen
t
er
sm
a
tch: a
d
d a --succ
e
ed op
t
ion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
Dan
C
arpente
r
db:
make escape
_
newl
i
nes()
t
ake a
c
o
n
st
poi
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
er
parse
.
h: c
r
eate stmt_ge
t
_
p
a
rent_stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpe
n
t
e
r
c
o
nstrain
t
s:
e
scape
S
QL statemen
t
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpen
t
er
s
t
a
tement_co
u
nt: rec
o
rd h
o
w
m
any st
a
tements there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
Dan Carpenter
extra/db: s
i
l
e
nce an invalid SQL
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Ca
r
penter
buf_size: fi
x
handling of 1
e
lement ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Carpenter
db: sql debu
g
mode
was
e
x
ecuting the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
e
r
test_b
i
t: add
t
e
st_and_
s
et_b
i
t
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
d
ebug: in
t
roduce __smatch_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
db: don't
s
ave str
u
c
t
members fo
r
i
ntegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Ca
r
penter
implie
d
: r
e
m
o
v
e
a
n unne
c
es
s
ary
N
U
LL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n Carpenter
nul_terminato
r
: expor
t
the is_nul_
t
er
m
inated() f
u
n
c
tion
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
a
n C
a
rp
e
n
t
er
kpatc
h
: us
e
g
it instead of trying to create diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
str
u
ct_assignment: handle unions as w
e
ll
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
missin
g
_break: t
u
rn it
off b
y
d
e
faul
t
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
C
arpenter
free_strict: fix
s
ome false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Car
p
e
nter
R
evert "Look across the e
n
tire compile line
f
o
r
smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
Dan Ca
r
penter
trinity: P
r
oof of conce
p
t
t
o
a
uto
-
ge
n
erate
t
r
i
ni
t
y
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
user_data:
r
e
name to smatc
h
_kernel_us
e
r_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan Carpenter
a
ssigned_expr: rename
t
o smatch_assigned
_
ex
p
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpenter
smatch: m
a
ke the --
e
nabl
e
/disable options tak
e
stri
n
gs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
e
n
t
e
r
s
m
atch_nu
l
_terminated: fix com
p
ile
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Car
p
enter
un
t
racked_pa
r
am: fix a NULL d
e
referenc
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan
C
ar
p
enter
u
ninitialized: fix
a crashing
bug
p
arsing
"return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
an
C
arpent
e
r
nul_te
r
min
a
tor: track when strings have
a
NUL terminat
o
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Ca
r
p
e
nter
use
r
_data
2
:
fix a type issue in call
e
r_
i
nfo
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpente
r
user_da
t
a: inte
g
ers can't
b
e
d
er
e
ferenc
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
c
omparison: mak
e
a
buf
f
er larger to make
G
CC happy
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next