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
db: use "extern" instead of the file name for globals in data_info
2017-01-20
D
an Carpente
r
d
b
: use "extern"
inste
a
d
of the
f
ile name for globals
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: introduce parse
_
error variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
user_da
t
a
2: handle functions
t
hat merely return passed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Carpent
e
r
hook
s
:
intr
o
duc
e
ASSIGNMENT_HOOK_
A
F
T
ER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
D
a
n C
a
rpenter
db: give up han
d
l
ing function pointers if ther
e
are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Carpen
t
er
u
se
r
_da
t
a2: remove so
m
e
debug printfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpe
n
ter
user_data2: don't set the f
u
nc
t
io
n
its
e
lf to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Car
p
enter
user_
d
ata2: imp
r
ove handling w
h
en we retu
r
n user data
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
function_hooks
:
don'
t
mark it as
i
mpo
s
sib
l
e
i
f
a
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan C
a
rpenter
comparison: modify the
l
inks
a
t at
s
t
a
rt o
f
an assignment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan Carpenter
db: cleanup
ge
t
_
r
ow_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Car
p
en
t
er
i
m
plied:
r
e
nam
e
a
functi
o
n
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
estate: add an
e
sta
t
e_is_empty() function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/k
e
rnel
.
n
o_inl
i
ne:
don't parse the bite swap functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
arpenter
kernel:
p
arse ATOMIC_SET(
)
manua
l
ly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/kernel
.
r
e
t
u
r
n
_f
i
x
e
s: add some more
fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carp
e
nter
d
b
/f
i
x
u
p_kerne
l
.
sh
:
handle __k
e
r
nel_write
(
) a bit bet
t
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
vim_d
b
: handle old
e
r versio
n
s of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpen
t
e
r
db/fixup_ke
r
n
el: handle __builtin_
b
swa
p
64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
function_h
o
oks: change
o
rder o
f
h
o
w db verse impl
i
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Ca
r
penter
param_l
i
mit: don't insert
empty s
t
ates into the
db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carp
e
nter
ranges: u
s
e
a hack around so when
merging ranges of
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
type_val: fix a memory leak
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
func
t
ion_hooks,
d
b:
ha
n
dle PARAM_LIM
I
T
for st
r
u
c
t members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpe
n
te
r
implied: fix a bug handling pa
r
a
meter
i
mplicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpente
r
implied:
a
dd
more debug informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
D
an Carpenter
db: sort return_states
b
y file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: t
i
ny cleanup han
d
l
i
ng assignments
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan
C
a
r
penter
flow:
r
emove
an unneed
e
d condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Da
n
Carpenter
f
low: rename a variable "tmp" -> "
r
ight"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
D
an Carpent
e
r
ke
r
nel
.
ig
n
ored_ma
c
r
o
s: add LASSERT()
from lus
t
re
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
D
a
n Carp
e
nte
r
function_hooks, db: use IN
T
ERNAL as
the
marker
f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan
C
arpe
n
ter
d
b
:
handle functio
n
poi
n
ters bett
e
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpenter
user
_
data2: math:
f
unc
t
i
o
n
calls should be handl
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Ca
r
p
en
t
e
r
math:
f
ix a typ
e
issue with MO
D
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Car
p
enter
unt
r
acked_param: f
u
nctions th
a
t are too hai
r
y are untrackable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
add
r
es
s
:
simplify i
s
_non_null
_
a
r
ray()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
type_val: use the correct
type
i
n get_
d
b_type
_
rl(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n Carpe
n
ter
implied: fix a bug
w
ith borrowed
i
mplicati
o
ns
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
flo
w
: handled
d
ecl
a
re
d
labe
l
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ranges: read u64max
c
orrect
l
y
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
C
ar
p
e
n
ter
smatch: remove test
s
to see
if
an ar
r
ay
i
s
N
U
LL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpen
t
er
ext
r
a: handle "if
(
a
+
b
< a) {
"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist: Sil
e
n
c
e
a smatch warnin
g
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
D
a
n Carpente
r
deb
u
g: add the _
_
smatch_absolute() ho
o
k
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
buf_
s
ize: Usi
n
g pla
i
n integer as NULL p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan
Carpenter
db: Using plain integ
e
r as NULL pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
a
s
t-model: Using
p
lain
inte
g
e
r as
NULL p
o
inter
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
debug: add a __smatch
_
absolute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
user_data:
s
hor
t
circuit a bunch o
f
code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
dma_mapping_error: add pci_dma_mapping_erro
r
() to thi
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpent
e
r
continue_vs_break: add
it che
c
klist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
r
penter
sm
a
tch
_
ad
d
ress: don't crash on
i
nva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
*ne
w
* con
t
inue_vs_break: compla
i
n if conti
n
u
e
is used
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpe
n
t
e
r
sm
a
tch
.
h: reserve
s
ome db
t
y
p
e
s f
o
r
l
ater
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpen
t
er
smatc
h
.
h
:
shuf
f
le some dec
l
arations
a
round
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smatch
.
h
:
silence a compile warning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
capp
e
d: set
i
t to uncapped if it'
s
mo
d
ified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fixup
_
kernel
.
s
h: work around for __t
o
_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/fixup_kern
e
l
.
sh: work aroun
d
for gfs2_ea_find()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpent
e
r
db/kernel
.
return_fi
x
es: s
p
eci
f
y some f
u
nctions t
h
at
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
ar
p
enter
i
mplied: add more i
n
formatio
n
to the debug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Car
p
enter
debug:
p
r
int
if you give
a bad
c
heck name to __smatch_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rpe
n
ter
smatch_data/wine
:
update wine data files
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
e
xtra: add more parameter dereferenc
e
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Ca
r
penter
math: don't
c
ra
s
h
o
n
invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
user_data2: skb->d
a
ta is not user data, skb->data[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
ty
p
e_value: it doesn't
m
ake se
n
se to talk about
t
h
e
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Carpenter
e
x
tra: improve how
"if (foo & ~0xF)" is handled
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nter
math: ignore byte sw
a
p
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpent
e
r
f
l
ow: handle while
(
42) {
.
.
.
} loo
p
s better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
C
arpe
n
te
r
comp
a
rison,
f
u
n
c
tio
n
_hoo
k
s: rem
o
v
e
i
m
po
s
si
b
le
p
a
th
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
a
r
penter
param_com
p
are_limi
t
: l
i
k
e
par
a
m_limit but for
c
omparisons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
arpenter
compari
s
o
n
: a
d
d
a FIXME regarding
a bug
I noticed
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Da
n
Carpenter
comparison: load/use re
t
urn
c
omparisons in th
e
cross
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
Carpenter
comp
a
r
i
son:
load struct member info int
o
the cal
l
e
r
_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comp
a
r
ison
:
l
o
ad the correct co
m
parison inform
a
tion
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
a
rpenter
f
low: don't cal
l
scop
e
hooks
u
nt
i
l after the END
_
FUNC_HOOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Da
n
Carp
e
n
t
er
modification_hoo
k
s: g
o
ing
out of scope is n
o
t a modification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
db/fixup_kerne
l
.
sh: upda
t
e get
_
user_pages() to match
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carp
e
nter
fu
n
ctio
n
_ho
o
ks: pull is_impossib
l
e_data
(
)
into
its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
D
a
n Carpen
t
e
r
c
o
m
p
a
rison: cleanup handle_comp
a
rison
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
compa
r
ison: export
some funct
i
ons
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan
Carpenter
s
t
ates: nullify_path() should do
f
ree the fake_cur_stree
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Ca
r
penter
db: ha
n
dle compari
s
ons th
a
t we
k
now are true
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
an Carpenter
db
:
mark some true false paths i
m
possi
b
le based
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
a
r
pent
e
r
range
s
, db:
if we
can't fi
l
ter by compar
i
son then use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
D
a
n Carpenter
db: handle nested calls
b
et
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
extra:
re-
w
rite handle_AND_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
an Carpenter
implied:
h
andle impos
s
ible paths
from complicated switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Car
p
ente
r
implied: ge
t
rid of the ->
i
mplied member
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpenter
impl
i
ed: get
r
id of
a
temporary variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Car
p
enter
smatch_data/wi
n
e
.
no
_
re
t
urn_funcs: add more
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan C
a
rpenter
smat
c
h
_
sc
r
ipts
/
gen_no_re
t
urn
_
funcs: fi
x
this for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
D
a
n Carpe
n
ter
pre-
p
roce
s
s
:
make -nost
d
i
nc
work again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Da
n
Ca
r
pen
t
er
ch
e
ck_wine: m
a
ke repor
t
(R_FATAL,
.
.
.
) a
nullif
y
the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Carpe
n
te
r
va
l
i
d
ation
/
sm_WtoA: add single
q
uotes
in output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n Car
p
ente
r
s
m
atch_script
s
: up
d
at
e
the
g
en_* scr
i
pts to take a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
e
n
ter
p
a
rse: ignore _Pragm
a
()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
s
m
atch
_
data/wine
.
ignored_macros: add ok()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next