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: introduce sql_insert_data_info_var_sym()
2017-01-20
Dan Carpenter
db:
i
ntroduce sql_i
n
sert_
d
a
t
a_in
f
o_var_
s
ym()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
e
n
ter
db: use "exte
r
n"
i
nstead
o
f the f
i
le name
for g
l
o
b
al
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Carpenter
sparse: introduce pars
e
_err
o
r variable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-20
Dan Car
p
enter
u
s
e
r
_
data2: ha
n
dle funct
i
o
n
s that
m
erely return
p
as
s
ed
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan Car
p
enter
hoo
k
s: introd
u
ce ASSIGNM
E
N
T_HOOK_
A
FTER
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-19
Dan
C
arpenter
db: give up handl
i
ng
f
unction pointers if t
h
e
r
e are
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan Carpe
n
ter
u
s
er_data2: remove some debu
g
p
r
intfs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Dan
Ca
r
p
e
n
t
er
u
s
er
_
data2: don't se
t
the
f
unction
itself to user_data
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-18
Da
n
Car
p
enter
user_data2: i
m
prove h
a
ndlin
g
whe
n
w
e
return user d
a
ta
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-17
Dan Carpenter
func
t
ion_hooks: don't mark it
as impossib
l
e if
a
function
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-14
Dan Carpen
t
e
r
comparison: modify
the link
s
at a
t
sta
r
t of
an ass
i
gnment
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-13
Dan C
a
rpenter
d
b: cleanup get_row_count()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan
C
a
rpente
r
impl
i
e
d
: rename a function
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
esta
t
e: add an estate
_
is_empty()
fu
n
ction
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpent
e
r
db/kernel
.
no_
i
nlin
e
: don
'
t
p
a
rse the bite
swap functions
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
C
arpenter
kernel
:
pa
r
s
e ATOMIC_S
E
T() ma
n
ually
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan Carpenter
db/
k
ern
e
l
.
return_fixes: add some
m
ore fixes
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
D
an
Carpenter
db
/
fixup_
k
ernel
.
sh: handle _
_
k
ernel_write
(
) a b
i
t
b
ette
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Da
n
Carpent
e
r
vim_db: handle older versions of vim
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-12
Dan C
a
rpenter
d
b/fixup_kernel:
handle __built
i
n_bswap64()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpent
e
r
fun
c
tion_
h
ooks: change ord
e
r of how
d
b
verse implied
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
p
aram_l
i
mit: don't inser
t
empty stat
e
s
i
nto the db
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan Carpenter
ranges: use a
h
ack
aro
u
nd so when merging ra
n
g
e
s 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
function_hooks,
db
:
ha
n
dle PARAM_LIMIT for struc
t
members
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
D
a
n
Carpenter
implied
:
fi
x
a
b
ug handling parameter implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-10
Dan C
a
r
penter
implied: a
d
d more debug informat
i
on
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-05
Dan Carpenter
d
b
: sor
t
return_states
b
y file
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
D
a
n Carpenter
f
l
ow: tiny cleanup handling assig
n
m
ents
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan Carpenter
flow: r
e
m
ove an unneeded condition
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2017-01-04
Dan C
a
rpenter
flow: rename a variable "tmp
"
-> "right"
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-15
Dan Carpenter
kernel
.
ignored_macros: add
L
ASSE
R
T() from lustr
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
fun
c
tion_ho
o
ks
,
db: use INTERNAL as th
e
marker f
o
r
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-12-13
Dan Carpenter
db: hand
l
e func
t
ion pointers better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan
C
arp
e
n
ter
u
ser_data2: math: function
calls should be
h
andled
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-30
Dan Carpen
t
er
math: fi
x
a
t
ype i
s
s
ue
wit
h
MOD
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-28
Dan Ca
r
penter
untracke
d
_
p
a
ram: function
s
that are
too
h
airy are unt
r
a
ckable
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpent
e
r
address: s
i
m
plify
i
s_non
_
null_array()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
Dan Carpenter
type_val: use the correct type in get_d
b
_type_r
l
(
)
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-25
D
a
n
C
a
rpent
e
r
imp
l
ied: fix a bug
with bor
r
owed implication
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpen
t
er
flow: handled declared l
a
bels better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-11-09
Dan Carpenter
ran
g
es: read u
6
4m
a
x correctly
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Ca
r
pente
r
smatch: remove tests t
o
see if an array is NULL
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan C
a
rpenter
extra:
h
an
d
le "if (a + b < a) { "
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
slist: Silence
a
smatch
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpent
e
r
de
b
ug: add the
_
_
smatch_abso
l
ute() hook
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
buf_size: Usin
g
pla
i
n inte
g
er as
N
U
L
L pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Car
p
enter
d
b
: Using plain integer as N
U
LL
p
ointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-18
Dan Carpenter
ast-model: Using plain i
n
teger as NU
L
L
pointer
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
d
ebug: add
a
_
_smatch_
a
bsolute()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
user_data: short circuit a bunch of
c
ode
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
Ca
r
penter
dma_m
a
pping_
e
rr
o
r: add pci_d
m
a_m
a
pping_error(
)
to t
h
is
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
c
ontin
u
e_vs_break
:
add it checklist
.
h
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
smat
c
h_addres
s
: don'
t
c
rash on inva
l
id code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
*new* continue_vs_break: c
o
mplain if
c
onti
n
ue
is
us
e
d
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Car
p
enter
smatch
.
h: r
e
serv
e
some db type
s
for l
a
t
er
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
sm
a
tch
.
h: shuffle some declarat
i
ons around
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpe
n
ter
smatch
.
h: silen
c
e
a compile
w
arning
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
ca
p
ped: se
t
it to uncapp
e
d if it's modified
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
db/
f
ixup_kernel
.
s
h:
work around for __to_fd()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Da
n
Carpenter
db
/
f
i
x
up_kern
e
l
.
sh: w
o
rk around for
gfs2_ea_
f
ind()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an C
a
rp
e
nter
db/ker
n
el
.
return_fixes: spe
c
i
f
y
s
ome functions that
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
i
mplied: ad
d
mor
e
informati
o
n to th
e
d
ebug output
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Car
p
enter
debu
g
: print if you
giv
e
a bad
che
c
k na
m
e to __smatch_states()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpenter
smatch_data/wi
n
e
:
update wine da
t
a fi
l
es
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan C
a
rp
e
n
t
er
e
x
tra: add mo
r
e
parameter derefe
r
ences
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Ca
r
penter
m
a
t
h
: don't crash
o
n
invalid code
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carp
e
nt
e
r
u
s
er_da
t
a2: skb->data is not user data, skb->data[0] is
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpenter
type
_
value: it do
e
sn'
t
make
s
ense to talk about
t
he
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
e
xtra: improve
h
o
w "
i
f (foo & ~0xF)" is
h
a
n
dl
e
d
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan Carpenter
m
a
th: ignore by
t
e swaps
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
Dan
C
arpente
r
f
l
o
w
: handle while (42)
{
.
.
.
}
l
oop
s
better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
a
n Carpenter
compa
r
is
o
n,fun
c
tion_hooks:
r
emove impossible paths
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-16
D
an Carpent
e
r
para
m
_compare_
l
imit: like
param_limit but for
compariso
n
s
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
D
an Carpenter
compar
i
son: add a F
I
XME reg
a
rding a bug I
n
ot
i
ced
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Carpenter
comparis
o
n:
l
o
a
d
/use return compa
r
ison
s
in the cro
s
s
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan
C
a
rp
e
nter
compari
s
on: l
o
ad struct member info into
t
he caller_info
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-15
Dan Car
p
e
nter
co
m
parison: loa
d
the c
o
rrect comparison i
n
f
o
rmat
i
o
n
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
flow: don't
c
al
l
sco
p
e hook
s
u
nti
l
aft
e
r the END_F
U
NC
_
HOOKs
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan Carpenter
m
odification_hooks: g
o
ing out
of scope is not a mo
d
ification
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-12
Dan
C
ar
p
enter
db/
f
ixup_ke
r
nel
.
sh: update
g
et_user_pag
e
s
(
) to
m
atch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan Carpenter
funct
i
on_hooks:
p
ull is_impossible_data() i
n
to its
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
D
an Carp
e
nter
compari
s
on
:
cleanup hand
l
e_comparison()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-11
Dan C
a
rpenter
comp
a
rison: export some
f
unctions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-09
Dan Carpenter
states: n
u
l
lify_pa
t
h
(
) should d
o
free the fake_cur
_
st
r
ee
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carpenter
db
:
h
a
ndle co
m
parisons that we know
are t
r
ue better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan
C
arpe
n
t
er
db: ma
r
k some true false
p
at
h
s
impossible
b
ased on
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Car
p
ent
e
r
ranges, db: if we can't filter by compa
r
ison th
e
n use
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-08
Dan Carp
e
nter
db
:
handle nested
c
alls better
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-04
Dan Carpenter
extra
:
r
e-write handle
_
AND_condition()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
nter
implied: handle impos
s
ible pa
t
hs fr
o
m complicate
d
switch
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan
C
a
r
penter
implied
:
get rid of the ->implied membe
r
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpenter
imp
l
ied:
g
et rid of a temporar
y
variab
l
e
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carp
e
nte
r
smatc
h
_
d
a
t
a/
w
i
n
e
.
no_return_fu
n
cs:
add more
functions
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpen
t
er
sma
t
ch_scripts/gen
_
no
_
return_funcs: fix
t
his for other
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-07-01
Dan Carpe
n
ter
pr
e
-process: make -nostdinc wor
k
again
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan
C
arp
e
nter
check_wine: make rep
o
rt(R_FATA
L
,
.
.
.
) a nul
l
i
fy the
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan Car
p
enter
validati
o
n/sm_
W
toA: add single
q
u
o
te
s
in out
p
ut
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
Dan C
a
rpenter
s
match_s
c
r
ipts:
update th
e
gen_* script
s
t
o t
a
ke a
.
.
.
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
2016-06-30
D
a
n
Carpenter
p
arse:
ignore
_
Pragma()
Signed-off-by: Dan Carpenter <
dan.carpenter@oracle.com
>
commit
|
commitdiff
|
tree
next