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
kernel: fix type bug handle IS_ERR() and friends
2019-02-15
D
a
n C
a
rp
e
nter
kernel: fi
x
t
ype bug handle IS_ERR() a
n
d
friends
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Da
n
Carpenter
db
:
don't pretend to dere
f
erenc
e
i
n
tegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-13
Dan Carpenter
t
e
s
ting_index_af
t
er_us
e
: r
e
move debug cod
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
c
apped: d
o
n
'
t set capped fo
r
known values
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
enter
e
x
tra:
t
weak hard m
a
x
i
n con
d
ition
s
and macros
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Da
n
Carpenter
ext
r
a
:
pass hard max acr
o
ss
f
unction boundaries
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
db
:
split zer
o
and non-zer
o
retu
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
D
an
C
arp
e
nter
impli
e
d: remove some
d
ead c
o
de
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
implied: remove a nonsense li
m
itation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
t
esting_
i
ndex_after_use: silence som
e
fa
l
se po
s
itives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carp
e
n
t
er
implied: remo
v
e the --debug-imp
l
ied
o
ption
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Carpenter
states:
f
ix a
b
ug h
a
ndling
n
eg
a
te
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-12
Dan Car
p
e
nter
equ
i
v: update
"
o
t
h
er" nam
e
s as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carp
e
n
ter
buf_compa
r
ison:
r
e-wri
t
e to be more flexib
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carpenter
db/kernel
.
retu
r
n_fi
x
es: add some
m
ore return fix
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/vi
m
_d
b
: do
n
't complain when the file is not found
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Carpenter
db/
c
r
e
a
te_db
.
sh
:
don'
t
co
m
plain whe
n
-p=<project> is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an Carp
e
nter
db/fixup_kernel
.
sh: fix up stuf
f
fro
m
t
he unsig
n
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
Dan Ca
r
penter
validatio
n
: update a few tests
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-08
D
an
C
a
r
p
enter
t
y
pe
:
commit
s
o
me missing pi
e
ces
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Carpenter
extra: smal
l
s
pe
e
dup in set_para
m
_hard_max()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
pent
e
r
helpe
r
: fix
e
xp
r
_t
o
_chunk_helper() for struct me
m
bers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
an Ca
r
pe
n
ter
co
m
parison:
print a
"%s" string
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan C
a
rpenter
constraints:
r
em
o
v
e
de
b
ugging a
n
d use the str
i
p
p
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n
Carpenter
db:
i
mprove r
e
cordin
g
comparisons to par
a
meters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n
Carpenter
im
p
l
ied:
r
e
move some duplica
t
e debug code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan
Carpenter
real_absolute: do
n
'
t store d
a
ta for ar
r
ays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carpenter
sval: remove an extra spa
c
e characte
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Ca
r
penter
type: make pointers unsigne
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
Dan Carp
e
nt
e
r
e
xt
r
a: tighten ca
n
onical fo
r
loop ha
n
d
l
ing
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-07
D
a
n Ca
r
penter
extra: fix function comp
a
ri
s
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
C
arpenter
ranges: imp
r
ove casting negatives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
Carpen
t
e
r
i
mplied:
don't use
i
ncom
p
lete states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-05
Dan
Carpenter
implicat
i
ons: remove a magic number
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Carpente
r
db:
s
how comparison strings for conditiona
l
retu
r
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
penter
d
b
:
don't sto
r
e recursive struct member
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
D
a
n Carp
e
nter
type: handle po
i
n
ter type c
o
rrectly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan Ca
r
pe
n
te
r
e
x
tra/u
n
tracked
_
p
aram:
mark lost parameters
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-02-04
Dan C
a
r
p
ent
e
r
addr
e
s
s
: retu
r
n unknown if we can't figur
e
o
ut
th
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-31
D
an Carpenter
implied: tw
e
ak some debug statements
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Carpenter
express
i
ons: p
a
rse "$0->fo
o
.
bar" c
o
rr
e
ct
l
y
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Da
n
C
a
rpenter
return_to_param:
u
se ident-
>
len i
n
s
t
ead of str
l
en()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan Car
p
ent
e
r
par
a
m_set: handle mt
a
g assignm
e
nts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-28
Dan
Carpe
n
t
er
assigned_ex
p
r: make i
t
work for par
a
meter as
s
ignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-25
D
a
n Carpenter
equiv: us
e
DB inf
o
rmatio
n
to set
extra
state in equiv
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
D
an Carpenter
e
x
tra:
i
mprove
get
_
ot
h
er_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-23
Dan Carp
e
nter
extra: futz around with get_oth
e
r_name_sym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
D
an Car
p
ent
e
r
helpe
r
: improv
e
get_m
e
mber_name
(
) for an
o
n
ymou
s
structs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Carp
e
nter
db: esca
p
e
n
e
w
line
s
i
n save_cache_data(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Da
n
Carpen
t
er
r
a
nges:
c
o
nst
i
fy call_re
s
ul
t
s_to_rl()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan Car
p
enter
extra: filter really long
u
nuse
d
param va
l
ue inf
o
rmation
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-22
Dan
Car
p
enter
extra: use ident->len
instea
d
of
call
i
ng
s
trlen(
i
den
t
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
D
a
n
C
arp
e
nter
d
b: don't create new sp
l
i
t
s
in
s
plit_positive_fr
o
m_negative()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Carpe
n
ter
extra: fix returned_st
r
uc
t
_members()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
par
a
m
_
us
e
d: fix ha
n
dling of
called functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
extra: export in_warn_on_macro()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
penter
type: misc sm
a
ll
c
leanup
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan C
a
r
pe
n
ter
t
y
pe: fix
g
e
t
_member_from_string()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan Ca
r
penter
k
patch
.
sh
:
fix spe
l
ling s/a
m
m
en
d
/a
m
e
n
d/
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-16
Dan
C
arp
e
nter
type: add
a
sh
o
rt c
u
t
in get_re
a
l_base_type()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan
Carpenter
implied:
Preserve ->hard_max for fake hist
o
ry states
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-14
Dan Ca
r
pente
r
extr
a
: p
r
eserve
h
ard_m
a
x after co
m
parisons to zero
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan C
a
rpenter
slist: make sm->c
h
il
d
r
en
a
smal
l
er ty
p
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist:
rename vari
a
b
l
e
s in __merge_stree(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
slist: handle the fast
pat
h
in __merge_stree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2019-01-08
Dan Carpenter
s
l
i
st:
simp
l
ify __merge_
s
tree()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-19
Da
n
Carpenter
nospec: don't record nosp
e
c parame
t
er info wh
i
ch
h
a
sn
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-14
Dan Carpe
n
ter
dma_mapping_error
:
update to only complain about
legacy
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-07
Dan
Carpenter
smatch
:
add a --succeed option
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-06
D
a
n Carpent
e
r
db:
m
ake escape_newlines
(
) take
a
c
o
nst poi
n
ter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
pa
r
se
.
h:
create stmt_get_pa
r
ent
_
stmt()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carp
e
nter
constraints: escape S
Q
L stateme
n
ts
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-12-04
Dan Carpenter
s
t
atement_count
:
record how many statement
s
there are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-30
D
an Carpenter
e
x
t
r
a
/db: sile
n
ce an invalid SQL warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan
Carpenter
bu
f
_size
:
fix han
d
l
ing of 1 element arrays
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-29
Dan Ca
r
p
e
n
te
r
db
:
sql debug mode
w
as executing the SQL twice
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
test_bit
:
add te
s
t
_
and_s
e
t
_bit()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
d
e
bug: intr
o
duce __smatc
h
_mem()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an Carpen
t
er
db: don'
t
sav
e
struct me
m
bers for i
n
tegers
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Da
n
Carp
e
nter
imp
l
ied: remove an u
n
n
ecessary NULL check
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carp
e
nte
r
nul_
t
erminator: export t
h
e is
_
nul_te
r
minat
e
d
() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpenter
kpat
c
h: use git in
s
te
a
d
o
f t
r
y
in
g
to c
r
eat
e
diffs by
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan
Carpente
r
struct_
a
ssignment: handl
e
un
i
ons as well
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpen
t
er
missing_break: turn i
t
off by default
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
D
an C
a
rpenter
f
r
ee_stri
c
t:
f
ix
some false positives
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-28
Dan Carpent
e
r
Rever
t
"
L
o
ok
across
the entir
e
c
ompile line for smatch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-14
D
an
Carpenter
trinity:
P
r
oof of concept
t
o
auto-gene
r
ate trinity
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
Dan
C
arpen
t
er
user
_
data
:
rename
t
o smatc
h
_kerne
l
_us
e
r_data
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-11-01
D
a
n Carpenter
assigned_exp
r
:
r
ename to smatch_as
s
igned_ex
p
r
.
c
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Ca
r
penter
smatch: make the --enable/d
i
sa
b
l
e options tak
e
s
tri
n
g
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan C
a
rpe
n
ter
smatc
h
_nul_
t
e
rminated: f
i
x
c
o
m
p
i
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-31
Dan Carpe
n
t
e
r
untracked_param:
f
ix a NULL der
e
ference
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-30
Dan Car
p
ent
e
r
u
n
initial
i
zed: fix a crashing bug parsing "return
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-23
D
a
n C
a
rpen
t
e
r
n
u
l_termin
a
tor:
track when stri
n
gs have a NUL terminator
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
D
a
n
Carpenter
user_data2:
f
i
x a type issue in caller_in
f
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
user_data: inte
g
ers c
a
n't be dereferenced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
com
p
arison: make
a
buf
f
er lar
g
er to mak
e
GCC ha
p
py
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Da
n
Carpenter
data_source:
trac
k
a
s
s
ignm
e
nts better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpe
n
ter
extra: prevent a
d
ivi
d
e by ze
r
o
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2018-10-18
Dan Carpenter
modificat
i
on_hooks: u
s
e the DB for
frob
(
&foo);
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next